From 6a8853ad25973c7fadcc8eb2cc1f4121a2b0671b Mon Sep 17 00:00:00 2001
From: jdlrobson <jdlrobson@gmail.com>
Date: Tue, 2 Jul 2019 13:11:20 -0700
Subject: [PATCH] Random link in main menu can be customised

Allow editors to define a different URL for random
by editing
/wiki/MediaWiki:Randompage-url
e.g. Special:RandomRootpage

Bug: T188697
Change-Id: I72bfbb9b02c99faa0c42c3212939f59b9b87149b
---
 includes/menu/Definitions.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/includes/menu/Definitions.php b/includes/menu/Definitions.php
index 2353502..1a3278c 100644
--- a/includes/menu/Definitions.php
+++ b/includes/menu/Definitions.php
@@ -139,10 +139,11 @@ final class Definitions {
 	 * @throws MWException
 	 */
 	public function insertRandomItem( Group $group ) {
+		$page = $this->context->msg( 'randompage-url' )->escaped();
 		// Random link
 		$group->insert( 'random' )
 			->addComponent( $this->context->msg( 'mobile-frontend-random-button' )->escaped(),
-				SpecialPage::getTitleFor( 'Randompage' )->getLocalURL() . '#/random',
+				Title::newFromText( $page )->getLocalURL() . '#/random',
 				MinervaUI::iconClass( 'random', 'before' ), [
 					'id' => 'randomButton',
 					'data-event-name' => 'random',