2012-11-21 - production
00:03	<logmsgbot_>	maxsem synchronized php-1.21wmf3/extensions/MobileFrontend 'https://gerrit.wikimedia.org/r/#/c/34440/'	[production]