2013-12-18 - production
17:51	<otto>	synchronized php-1.23wmf6/extensions/CirrusSearch 'updating php-1.23wmf6/extensions/CirrusSearch to master'	[production]