MediaWiki:Gadget-UserRightsManager.js: Difference between revisions
Jump to navigation
Jump to search
(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 } ); | ||