Thread:Extension talk:CategoryTree/CategoryTree extension and Mediawiki v1.20/reply (4)

Bugzilla:43253 now fixed :-)