Merge remote-tracking branch 'refs/remotes/origin/stable' into origin-hotline-master

Conflicts:
	VERSIONS
	library/Class/CodifThesaurus.php
	library/startup.php
	tests/library/Class/CodifThesaurusTest.php