2013-07-26 - production
00:15	<maxsem>	synchronized php-1.22wmf12/extensions/MobileFrontend/includes/MobileContext.php 'https://gerrit.wikimedia.org/r/#/c/76043/'	[production]