From ab975564dbf588e9fcd70a9406acc5d218b411fe Mon Sep 17 00:00:00 2001
From: Domas Mituzas <midom@users.mediawiki.org>
Date: Wed, 9 Jun 2004 16:19:24 +0000
Subject: [PATCH] get rid of 'use index' for nonmysql

---
 includes/SpecialRandompage.php | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/includes/SpecialRandompage.php b/includes/SpecialRandompage.php
index a442623f1b..bf6a7fa9a0 100644
--- a/includes/SpecialRandompage.php
+++ b/includes/SpecialRandompage.php
@@ -1,16 +1,18 @@
 <?php
+# $Id$
 
 function wfSpecialRandompage()
 {
-	global $wgOut, $wgTitle, $wgArticle;
+	global $wgOut, $wgTitle, $wgArticle, $wgIsMySQL;
 	$fname = "wfSpecialRandompage";
 
 	wfSeedRandom();
 	$rand = mt_rand() / mt_getrandmax();
 	# interpolation and sprintf() can muck up with locale-specific decimal separator
 	$randstr = number_format( $rand, 12, ".", "" );
+	$use_index=$wgIsMySQL?"USE INDEX (cur_random)":"";
 	$sqlget = "SELECT cur_id,cur_title
-		FROM cur USE INDEX (cur_random)
+		FROM cur $use_index
 		WHERE cur_namespace=0 AND cur_is_redirect=0
 		AND cur_random>$randstr
 		ORDER BY cur_random
-- 
2.20.1