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