User blog comment:DaNASCAT/Technical Update: January 6, 2016/@comment-24473195-20160107161235/@comment-957747-20160107190350

According to our stats (seen via JSRT), this script is more popular than UserTags. However, both scripts could be re-written to take advantage of using a custom MediaWiki page for the configuration.

ProfileTags was originally written for the Admin Tools Wiki by myself on request. In the original state, it was meant to only differentiate specific types of admins there. It quickly became quite popular and lead to Lunarity's creation of UserTags -- which does much more than the original script. As mentioned above, it does more (and can be used globally) but is slightly more difficult to setup due to the possible configuration options.

Per the original post here, MediaWiki:ProfileTags is now editable as it should have been at this release this morning.