2013-12-06 - production
00:04	<maxsem>	synchronized php-1.23wmf6/extensions/MobileFrontend 'https://gerrit.wikimedia.org/r/99551'	[production]