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]