plugin/random.inc.php

   1 <?php
   2 /////////////////////////////////////////////////
   3 // PukiWiki - Yet another WikiWikiWeb clone.
   4 //
   5 // $Id: random.inc.php,v 1.5 2004/07/19 04:10:52 henoheno Exp $
   6 //
   7
   8 /*
   9  *¥×¥é¥°¥¤¥ó random
  10   ÇÛ²¼¤Î¥Ú¡¼¥¸¤ò¥é¥ó¥À¥à¤ËÉ½¼¨¤¹¤ë
  11
  12  *Usage
  13   #random(¥á¥Ã¥»¡¼¥¸)
  14
  15  *¥Ñ¥é¥á¡¼¥¿
  16  -¥á¥Ã¥»¡¼¥¸~
  17  ¥ê¥ó¥¯¤ËÉ½¼¨¤¹¤ëÊ¸»úÎó
  18
  19  */
  20 function plugin_random_convert()
  21 {
  22         global $script, $vars;
  23
  24         $title = 'press here.';
  25
  26         if (func_num_args())
  27         {
  28                 $args = func_get_args();
  29                 $title = htmlspecialchars($args[0]);
  30         }
  31         return "<p><a href=\"$script?plugin=random&refer={$vars['page']}\">$title</a></p>";
  32 }
  33
  34 function plugin_random_action()
  35 {
  36         global $script, $vars;
  37
  38         $pattern = strip_bracket($vars['refer']) . '/';
  39
  40         $pages = array();
  41         foreach (get_existpages() as $_page)
  42         {
  43                 if (strpos($_page,$pattern) === 0)
  44                 {
  45                         $pages[$_page] = strip_bracket($_page);
  46                 }
  47         }
  48 //      natcasesort($pages);
  49         srand((double)microtime()*1000000);
  50         $page = array_rand($pages);
  51
  52         if ($page != '')
  53         {
  54                 $vars['refer'] = $page;
  55         }
  56         return array('body'=>'','msg'=>'');
  57 }
  58 ?>