2014-03-14 - production
03:35	<ori>	synchronized php-1.23wmf17/includes/resourceloader/ResourceLoaderStartUpModule.php 'Ibeda834e9: Emit $wgSearchType as JavaScript config variable'	[production]