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