2011-09-09 - production
19:05	<reedy>	synchronized php-1.17/resources/mediawiki/mediawiki.js '[[rev:96682|r96682]]'	[production]