2011-10-05 - production
00:32	<aaron>	synchronized php-1.18/extensions/CategoryTree/CategoryTree.php 'added default to $options, just as 1.17wmf did...'	[production]