2011-08-08 - production
19:23	<reedy>	synchronized php-1.17/extensions/WikimediaMobile/MobileRedirect.js 'blanking file'	[production]