2011-11-30 - production
21:27	<reedy>	synchronized php-1.18/resources/mediawiki/mediawiki.js '[[rev:104754|r104754]]'	[production]