Change Details

**CategoryTree**: https://www.mediawiki.org/wiki/Extension:CategoryTree. Makes the wiki category structure look even better.

This makes the wiki category structure look even better. https://www.mediawiki.org/wiki/Extension:CategoryTree.

**CategoryTree**: https://www.mediawiki.org/wiki/Extension:CategoryTree. MThis makes the wiki category structure look even better. https://www.mediawiki.org/wiki/Extension:CategoryTree.