Thread:Extension talk:CategoryTree/Permissions issue using version c7333ea on mediawiki 1.23