plugin/include.inc.php

   1 <?php
   2 /////////////////////////////////////////////////
   3 // PukiWiki - Yet another WikiWikiWeb clone.
   4 //
   5 // $Id: include.inc.php,v 1.6 2003/03/03 07:07:28 panda Exp $
   6 //
   7
   8 /*
   9  include.inc.php
  10  ¥Ú¡¼¥¸¤ò¥¤¥ó¥¯¥ë¡¼¥É¤¹¤ë
  11 */
  12
  13 function plugin_include_convert()
  14 {
  15         global $script,$vars,$get,$post,$hr,$WikiName,$BracketName;
  16         global $include_list; //½èÍýºÑ¥Ú¡¼¥¸Ì¾¤ÎÇÛÎó
  17
  18         if (!isset($include_list))
  19         {
  20                 $include_list = array($vars['page']=>TRUE);
  21         }
  22
  23         if (func_num_args() == 0)
  24         {
  25                 return;
  26         }
  27
  28         list($page) = func_get_args();
  29         $page = strip_bracket($page);
  30
  31         if (!is_page($page) or isset($include_list[$page]))
  32         {
  33                 return '';
  34         }
  35         $include_list[$page] = TRUE;
  36
  37         $_page = $vars['page'];
  38         $get['page'] = $post['page'] = $vars['page'] = $page;
  39         $body = convert_html(get_source($page));
  40         $get['page'] = $post['page'] = $vars['page'] = $_page;
  41
  42         $s_page = htmlspecialchars($page);
  43         $r_page = rawurlencode($page);
  44         $link = "<a href=\"$script?cmd=edit&amp;page=$r_page\">$s_page</a>";
  45         if ($page == 'MenuBar')
  46         {
  47                 $body = <<<EOD
  48 <span align="center"><h5 class="side_label">$link</h5></span>
  49 <small>$body</small>
  50 EOD;
  51         }
  52         else
  53         {
  54                 $body = "<h1>$link</h1>\n$body\n";
  55         }
  56
  57         return $body;
  58 }
  59 ?>