blob: c795670f1d982a545b8b70d00767f7fc945738e8 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
<?php
# $Id$
function wfSpecialRandompage()
{
global $wgOut, $wgTitle, $wgArticle, $wgIsMySQL, $wgExtraRandompageSQL;
$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)":"";
if ( $wgExtraRandompageSQL ) {
$extra = "AND ($wgExtraRandompageSQL)";
} else {
$extra = '';
}
$sqlget = "SELECT cur_id,cur_title
FROM cur $use_index
WHERE cur_namespace=0 AND cur_is_redirect=0 $extra
AND cur_random>$randstr
ORDER BY cur_random
LIMIT 1";
$res = wfQuery( $sqlget, DB_READ, $fname );
if( $s = wfFetchObject( $res ) ) {
$rt = wfUrlEncode( $s->cur_title );
} else {
# No articles?!
$rt = "";
}
$wgOut->reportTime(); # for logfile
$wgOut->redirect( wfLocalUrl( $rt ) );
}
?>
|
