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.

Sign up for GitHub

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

Jump to bottom

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

Commits on May 20, 2019

  1. Protect: Hide on mediawiki pages 

    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.
    @DannyS712
    DannyS712 committed May 20, 2019
    Copy the full SHA
    920969a View commit details
    Browse the repository at this point in the history

Commits on Jun 13, 2019

  1. Merge branch 'master' into patch-6

    @Amorymeltzer
    Amorymeltzer committed Jun 13, 2019
    Copy the full SHA
    634ad01 View commit details
    Browse the repository at this point in the history

  2. Update where active

    @Amorymeltzer
    Amorymeltzer committed Jun 13, 2019
    Copy the full SHA
    853dadf View commit details
    Browse the repository at this point in the history