2009-10-29 - production
07:53 <tfinc> synchronized php-1.5/wmf-config/InitialiseSettings.php 'removing tidy from wmf wiki since its really in CommonSettings.php' [production]