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

Ah I see. I guess or better hope that a bug was filed for this. Cheers