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