Thread:Ursuul/@comment-30270234-20180626143445/@comment-28083312-20180626151526

I can do that if you want, or I can completely remove it from MediaWiki:Common.js entirely. We might do it this way because there aren’t any other folks who’ll get rights anytime soon / make use of them. If we remove them from sitewide use entirely, it no longer has to perform a rights check on every single person who loads this website. Me & you both import these tools in our personal JS, so we would lose nothing. Whichever you prefer.