Change Details

I think we should merge the RandomRootPage extension into MediaWiki core. It's a very small amount of additional code.

I think we should merge the [RandomRootPage extension](https://www.mediawiki.org/wiki/Extension:Randomrootpage) into MediaWiki core. It's a very small amount of additional code.

I think we should merge the [RandomRootPage eextension](https://www.mediawiki.org/wiki/Extensionn:Randomrootpage) into MediaWiki core. It's a very small amount of additional code.