Board Thread:Support Requests - Getting Technical/@comment-44071315-20200728192008/@comment-9605025-20200729222646

MediaWiki:Gadget-RoleScripts.js

It is a gadget available to all users but its purpose is to check the permissions of the current user and load additional scripts accordingly. Users who do not have the necessary permissions and those who do but have disabled the gadget won't have the additional scripts loaded for them.