2010-05-28 - production
01:17	<tstarling>	synchronized php-1.5/wmf-config/CommonSettings.php 're-enabled CategoryTree, unless there is some emergency, you can't just disable extensions like this'	[production]