2011-03-09 - production
11:50	<catrope>	synchronized php-1.17/extensions/WikimediaMobile/MobileRedirect.js 'Live hack mobile redirect script to fix JS errors'	[production]