Extension:Randomrootpage

From mediawiki.org