I think we should merge the RandomRootPage extension into MediaWiki core. It's a very small amount of additional code.
Description
Details
Status | Subtype | Assigned | Task | ||
---|---|---|---|---|---|
Open | None | T28751 Extensions that should really be core functionality (tracking) | |||
Resolved | TiHoX1 | T109809 Merge RandomRootPage extension into MediaWiki core |
Event Timeline
Where does the special-page's setup file (Randomrootpage.php) go if it is located in /include/specials by default? The default special-pages seem to be registered somewhere else than in LocalSettings, too.
The setup file goes away, core special pages get registered in includes/specialpage/SpecialPageFactory, autoload.php, etc. Aliases are somewhere in the languages/ directory, you'll have to look to find them.
Change 264407 had a related patch set uploaded (by TiHoX1):
Added RandomRootPage extension to the core
Change 264878 had a related patch set uploaded (by Legoktm):
Archive extension, merged into MediaWiki core
Change 264407 merged by jenkins-bot:
Add Special:Randomrootpage (from RandomRootPage extension)
Change 264975 had a related patch set uploaded (by Hashar):
[RandomRootPage] Archived extension
The extension has been unconfigured from CI https://gerrit.wikimedia.org/r/#/c/264975/
I marked it read-only in Gerrit https://gerrit.wikimedia.org/r/#/admin/projects/mediawiki/extensions/RandomRootPage