MediaWiki:Gadget-userRightsManager.js: Difference between revisions
From Test Wiki
Content deleted Content added
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 } ); |
||
