2013-11-23 - production
00:48	<reedy>	synchronized php-1.23wmf5/extensions/MobileFrontend/ 'Fix history fatal'	[production]