2012-05-10 - production
01:07 <reedy> synchronized wmf-config/InitialiseSettings.php 'https://gerrit.wikimedia.org/r/#/c/7133/' [production]