Board Thread:Support Requests - Getting Technical/@comment-1038387-20190616130446/@comment-24980860-20190616141306

No, that's JavaScript, therefore it would be Special:Mypage/global.js.