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]