Thread:Bluesonic1/@comment-3173171-20150508231236/@comment-1738746-20150620114940

Building on this, can we delete the "userRightsIcons.js" if the Wiki is using "UserTags.js" instead?