2012-02-18 - production
00:43	<aaron>	synchronized php-1.19/resources/mediawiki.special/mediawiki.special.preferences.js 'deployed [[rev:111808|r111808]]'	[production]