Board Thread:Wiki Management/@comment-26192688-20140904122558/@comment-1764483-20140904203959

It's at MediaWiki:Common.js/Usertags.js.