2013-12-04 - production
22:15	<manybubbles>	synchronized php-1.23wmf5/extensions/CirrusSearch/ 'Update CirrusSearch to speed up indexing'	[production]