Fatal error: Call to undefined function wfMsgNoTrans() in /usr/share/mediawiki-extensions/base/CategoryTree/CategoryTreeFunctions.php on line 732