plugin/include.inc.php

   1 <?php
   2 /////////////////////////////////////////////////
   3 // PukiWiki - Yet another WikiWikiWeb clone.
   4 //
   5 // $Id: include.inc.php,v 1.9 2004/07/31 03:09:20 henoheno 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 $_msg_include_restrict;
  17         static $include_list = array(); //½èÍýºÑ¥Ú¡¼¥¸Ì¾¤ÎÇÛÎó
  18
  19         if (func_num_args() == 0)
  20         {
  21                 return;
  22         }
  23
  24         $include_list[$vars['page']] = TRUE;
  25
  26         list($page) = func_get_args();
  27         $page = strip_bracket($page);
  28
  29         if (!is_page($page) or isset($include_list[$page]))
  30         {
  31                 return '';
  32         }
  33         $include_list[$page] = TRUE;
  34
  35         $_page = $vars['page'];
  36         $get['page'] = $post['page'] = $vars['page'] = $page;
  37
  38         // include¤Î¤È¤¤Ï¡¢Ç§¾Ú²èÌÌ¤ò¤¤¤Á¤¤¤Á½Ð¤µ¤º¡¢¸å»ÏËö¤â¤³¤Á¤é¤Ç¤Ä¤±¤ë
  39         if (check_readable($page, false, false)) {
  40                 $body = convert_html(get_source($page));
  41         } else {
  42                 $body = str_replace('$1',$page,$_msg_include_restrict);
  43         }
  44
  45         $get['page'] = $post['page'] = $vars['page'] = $_page;
  46
  47         $s_page = htmlspecialchars($page);
  48         $r_page = rawurlencode($page);
  49         $link = "<a href=\"$script?cmd=edit&amp;page=$r_page\">$s_page</a>";
  50         if ($page == 'MenuBar')
  51         {
  52                 $body = <<<EOD
  53 <span align="center"><h5 class="side_label">$link</h5></span>
  54 <small>$body</small>
  55 EOD;
  56         }
  57         else
  58         {
  59                 $body = "<h1>$link</h1>\n$body\n";
  60         }
  61
  62         return $body;
  63 }
  64 ?>