2013-11-21 - production
22:31	<reedy>	synchronized php-1.23wmf5/extensions/MobileFrontend/	[production]