2011-09-09 - production
18:51	<reedy>	synchronized php-1.17/resources/mediawiki/mediawiki.js 'Revert push of [[rev:96679|r96679]], stuff seems broken'	[production]