2013-10-25 - production
00:03	<kaldari>	synchronized php-1.23wmf1/extensions/MobileFrontend/ 'Updating MobileFrontend for cherrypick'	[production]