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