2013-11-20 - production
00:28	<ori>	synchronized php-1.23wmf3/extensions/MobileFrontend 'Updating MobileFrontend for I3efc1fa64'	[production]