2013-08-29 - production
18:59	<maxsem>	synchronized php-1.22wmf15/extensions/MobileFrontend/includes/formatters/ExtractFormatter.php 'https://gerrit.wikimedia.org/r/#/c/81416/'	[production]