2014-05-06 - production
20:27	<demon>	synchronized php-1.24wmf3/extensions/CirrusSearch/includes/Hooks.php 'Fix typehinting'	[production]