plugin/random.inc.php

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