2013-12-04 - production
01:10	<ori>	synchronized php-1.23wmf5/includes/resourceloader/ResourceLoaderModule.php 'Ifa9088c11: resourceloader: Make sure hashmtime cache key is different by language'	[production]