2012-09-19 - production
19:43 <reedy> synchronized php-1.20wmf12/extensions/CategoryTree 'Category tree to master' [production]