2013-12-17 - production
22:16	<ori>	synchronized php-1.23wmf6/resources/startup.js 'I3d5bcf10e: startup.js: log current time as global 'mediaWikiLoadStart''	[production]