2013-11-04 - production
22:15	<mwalker>	synchronized php-1.23wmf1/extensions/CentralNotice/ 'Updating CentralNotice to master - mobile redirects and cross wiki hiding'	[production]