2014-05-09 - production
15:43	<demon>	synchronized wmf-config/CirrusSearch-common.php 'Do not optimize commons for new highlighter on commons'	[production]