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