2013-12-31 - production
00:07	<maxsem>	synchronized php-1.23wmf8/extensions/MobileFrontend 'https://gerrit.wikimedia.org/r/104682'	[production]