MediaWiki:Gadget-userRightsManager.js: Difference between revisions
Jump to navigation
Jump to search
MediaWiki:Gadget-userRightsManager.js (view source)
Revision as of 20:11, 29 March 2022
, 29 March 2022fix not reloading
(clean out code for updating markadmins.json since it's no longer necessary due to gadget changes) |
(fix not reloading) |
||
Line 126: | Line 126: | ||
if(this.groupsInterfaceAdminInput.isSelected()) perms.push('interface-admin'); | if(this.groupsInterfaceAdminInput.isSelected()) perms.push('interface-admin'); | ||
var self = this, promiseCount = | var self = this, promiseCount = 2; | ||
self.actions.setAbilities( { submit: false } ); | self.actions.setAbilities( { submit: false } ); |