[MediaWiki-commits] [Gerrit] Rework ext.categoryTree.js - change (mediawiki...CategoryTree)
jenkins-bot has submitted this change and it was merged. Change subject: Rework ext.categoryTree.js .. Rework ext.categoryTree.js * Remove unnecessary variable categoryTree * Escape messages * Replace deprecated .success() and
[MediaWiki-commits] [Gerrit] Rework ext.categoryTree.js - change (mediawiki...CategoryTree)
Gerrit Patch Uploader has uploaded a new change for review. https://gerrit.wikimedia.org/r/114807 Change subject: Rework ext.categoryTree.js .. Rework ext.categoryTree.js * Remove unnecessary variable categoryTree. * Escape m