Translations:Extension:CategoryTree/87/en

Since MediaWiki 1.13, CategoryTree can show the number of members of a category, and can show a grey arrow $grey for tree nodes that do not have any children based on that number. This information is based on the new $cat table. However, populating that table with the current values does not always work when upgrading to 1.13. In that case, run the $script maintenance script, if necessary with the $option option.