Hello,
I'd like to request advice on handling a task at hand.
It results that Extension:ArticleToCategory2 https://github.com/wikimedia/mediawiki-extensions-ArticleToCategory2 is using some sort of old-fashioned way to name their user rights (ie: ArticleToCategory2AddCat instead of all lowercase; or ArticleToCategory2 which is somewhat confusing). I'd like to fix that, but I was wondering if that'd cause undue complications in existing installs and, if so, if it should go first via a deprecation process or other process I am not aware off.
Thanks in advance for any help or advice you can offer.
Best regards, M.