2014-05-08 - production
15:08	<manybubbles>	synchronized wmf-config/InitialiseSettings.php 'engage new hightlighter on some more wikis'	[production]