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

The CategoryTree extension page defines that this extension is available to Mediawiki V 1.13.

Does it works with more recent mediawiki updates such as v1.20?

Thanks