Thread:Extension talk:CategoryTree/CategoryTree extension and Mediawiki v1.20