includes/SpecialRandompage.php

   1 <?
   2
   3 function wfSpecialRandompage()
   4 {
   5         global $wgOut, $wgTitle, $wgArticle, $force;
   6         $fname = "wfSpecialRandompage";
   7
   8         wfSeedRandom();
   9         $sqlget = "SELECT cur_id,cur_title
  10                 FROM cur USE INDEX (cur_random)
  11                 WHERE cur_namespace=0 AND cur_is_redirect=0
  12                 AND cur_random>RAND()
  13                 ORDER BY cur_random
  14                 LIMIT 1";
  15         $res = wfQuery( $sqlget, $fname );
  16         if( $s = wfFetchObject( $res ) ) {
  17                 $sql = "UPDATE cur SET cur_random=RAND() WHERE cur_id={$s->cur_id}";
  18                 wfQuery( $sql, $fname );
  19                 $rt = wfUrlEncode( $s->cur_title );
  20         } else {
  21                 # No articles?!
  22                 $rt = "";
  23         }
  24
  25         $wgOut->reportTime(); # for logfile
  26         $wgOut->redirect( wfLocalUrl( $rt ) );
  27 }
  28
  29 ?>