Extension:Randomrootpage
This extension has been archived.
This extension has been merged into MediaWiki core as of gerrit:264407. Wikis running or upgrading to 1.27 and later should uninstall this extension. To see the page before archival, click here. |