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