2010-05-27 - production
11:30 <midom> synchronized php-1.5/wmf-config/CommonSettings.php 'disable category tree' [production]