3,270
edits
MediaWiki:Gadget-UserRightsManager.js: Difference between revisions
Jump to navigation
Jump to search
MediaWiki:Gadget-UserRightsManager.js (view source)
Revision as of 02:05, 30 November 2023
, 30 November 2023no edit summary
m (Username moved page MediaWiki:Gadget-userRightsManagerTW.js to MediaWiki:Gadget-userRightsManager.js without leaving a redirect) |
mNo edit summary |
||
| Line 9: | Line 9: | ||
'sysop': 'Administrator', | 'sysop': 'Administrator', | ||
'bureaucrat': 'Bureaucrat', | 'bureaucrat': 'Bureaucrat', | ||
'interface-admin': 'Interface | 'interface-admin': 'Interface administrator', | ||
} | } | ||
| Line 208: | Line 208: | ||
user: userName.replace(/ /g, '_'), | user: userName.replace(/ /g, '_'), | ||
add: perms.join('|'), | add: perms.join('|'), | ||
reason: '+' + perms.join(', +') + '; ' + permaLink + ' at [[TW: | reason: '+' + perms.join(', +') + '; ' + permaLink + ' at [[TW:RfP]]', | ||
expiry: 'infinity', | expiry: 'infinity', | ||
tags: ' | tags: 'userRightsManager' | ||
}); | }); | ||
} | } | ||
| Line 230: | Line 230: | ||
'section': sectionId, | 'section': sectionId, | ||
'text': newContent, | 'text': newContent, | ||
'tags': ' | 'tags': 'userRightsManager', | ||
summary: '/* User:' + userName + ' */ done' | summary: '/* User:' + userName + ' */ done' | ||
}) | }) | ||