2013-07-03 - production
15:25	<maxsem>	synchronized wmf-config/mobile.php 'https://gerrit.wikimedia.org/r/#/c/71813/'	[production]