2013-12-02 - production
17:07	<demon>	synchronized php-1.23wmf4/extensions/CirrusSearch 'Cirrus to master'	[production]