2014-02-21 - production
00:07	<maxsem>	synchronized php-1.23wmf15/extensions/MobileFrontend 'https://gerrit.wikimedia.org/r/114644'	[production]