Board Thread:Support Requests - Designing Your Wiki/@comment-35890342-20190428000638/@comment-35890342-20190428005630

okay, thanks.

one question is that I can't find the MediaWiki:ProfileTags page even after I added dev:ProfileTags.js to MediaWik:ImportJS. (I looked by directly searching up the page as you would normally search up a MeiaWiki page)