Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Protect: Hide on mediawiki pages #640

Merged
merged 3 commits into from Jun 13, 2019
Merged

Protect: Hide on mediawiki pages #640

merged 3 commits into from Jun 13, 2019

Conversation

DannyS712
Copy link
Contributor

Can't be protected or unprotected (neither can gadget / gadget description pages, but those are blocked by the title blacklist) - doesn't need to be shown.

Can't be protected or unprotected (neither can gadget / gadget description pages, but those are blocked by the title blacklist) - doesn't need to be shown.
@Amorymeltzer
Copy link
Collaborator

Not inherently opposed, but they technically can be protected. Clearly it never happens — completely unused atm on enwiki — but couldn't this be used to prevent interface editors from mucking about? And, from a philosophical point of view, mediawiki pages could still be fully-protected during an edit war.

@DannyS712
Copy link
Contributor Author

@Amorymeltzer actually, interface editors also have editprotected, so this wouldn't stop them.

@Amorymeltzer Amorymeltzer added this to the July 2019 update milestone May 31, 2019
@Amorymeltzer Amorymeltzer merged commit cf05713 into wikimedia-gadgets:master Jun 13, 2019
@DannyS712 DannyS712 deleted the patch-6 branch June 14, 2019 19:09
Xi-Plus referenced this pull request in xiplus-mediawiki-programs/twinkle Jun 17, 2019
Aren't ever protected or unprotected, doesn't need to be shown.

Co-authored-by: Amory Meltzer <Amorymeltzer@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants