2012-09-13 - production
00:54	<awjrichards>	synchronized wmf-config/InitialiseSettings.php 'Easier toggle of MF banner'	[production]