https://bugzilla.wikimedia.org/show_bug.cgi?id=32680

       Web browser: ---
             Bug #: 32680
           Summary: MW needs a sane way to disable SpecialPages
           Product: MediaWiki
           Version: unspecified
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: enhancement
          Priority: Unprioritized
         Component: General/Unknown
        AssignedTo: [email protected]
        ReportedBy: [email protected]
    Classification: Unclassified


2 options that come to mind:

How the API does it - We have a "Special:DisabledPage" or similar, and to
disable an extension, in LocalSettings.php you can do

$wgSpecialPages['ContributionHistory'] = 'DisabledSpecialPage';


Else, a global array variable, key is the special page name, value is the
message to display to users

-- 
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
You are on the CC list for the bug.

_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l

Reply via email to