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. 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.