2014-12-08 - production
17:54 <ori> Synchronized wmf-config/CommonSettings.php: Unset \\$wgTidyInternal (duration: 00m 07s) [production]