Per discussion on MediaWiki-General about bug 10897 opening this in another way:
Create "editprotected" right, so users can be granted permission to edit protected pages but not to change the level of protection of any.
Version: unspecified
Severity: enhancement
axel9891 wrote:
I'm sorry, but I really don't see the need. On Wikipedia particularly, fully protected pages aren't supposed to be edited by admins anyway, they are just trusted not to. Adding this feature simply won't be useful, imo.
bugs wrote:
(In reply to comment #1)
I'm sorry, but I really don't see the need. On Wikipedia particularly, fully
protected pages aren't supposed to be edited by admins anyway, they are just
trusted not to. Adding this feature simply won't be useful, imo.
The MediaWiki software is used elsewhere. This is a valid idea for feature that will be useful. On certain wikis, there may be a need, we want to try and facilitate that need. :) But as you said, there might not be a need on Wikipedia.
axel9891 wrote:
Yes I know it is used elsewhere. I still can't think of a need elsewhere either. The protection is there to stop people editing - not to create a special "right" who can edit it as they please.
robchur wrote:
No need to have this in the core software; superfluous. Can be done on a per-wiki basis if desired.
I might be wrong, but I suppose, that to have support for this right would need changing of some other php files than LocalSettings.php only.
Therefore it's not simple to make this change for other wiki installations and it should be supported in MediaWiki by default. Please keep in mind, that MediaWiki isn't used only on Wikimedia sites.
It is definitely not superfluous. It would be, if it duplicated any other right with similar functionality, but it does not.
robchur wrote:
Yes, you're absolutely wrong - this is quite straightforward to do, and is documented in the default configuration file.
(In reply to comment #6)
I might be wrong, but I suppose, that to have support for this right would need
changing of some other php files than LocalSettings.php only.
You are, indeed wrong ;-). The necessary lines for LocalSettings.php (untested) are below:
$wgGroupPermissions['editprotected']['editprotected'] = true;
$wgRestrictionLevels[] = 'editprotected';