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