plugin/include.inc.php

   1 <?php
   2 /*
   3  include.inc.php
   4  ¥Ú¡¼¥¸¤ò¥¤¥ó¥¯¥ë¡¼¥É¤¹¤ë
   5 */
   6
   7 function plugin_include_convert()
   8 {
   9         global $script,$vars,$get,$post,$hr,$WikiName,$BracketName;
  10         global $include_list; //½èÍýºÑ¥Ú¡¼¥¸Ì¾¤ÎÇÛÎó
  11
  12         if (!isset($include_list)) { $include_list = array($vars['page']=>TRUE); }
  13
  14         if (func_num_args() == 0) { return; }
  15
  16         list($page) = func_get_args();
  17
  18         if (!preg_match("/^($WikiName|\[\[$BracketName\]\])$/",$page))
  19                 $page = "[[$page]]";
  20
  21         if (!is_page($page) or isset($include_list[$page])) { return ''; }
  22         $include_list[$page] = TRUE;
  23
  24         $tmppage = $vars['page'];
  25         $get['page'] = $post['page'] = $vars['page'] = $page;
  26
  27         $body = convert_html(join('',get_source($page)));
  28
  29         $get['page'] = $post['page'] = $vars['page'] = $tmppage;
  30
  31         $link = "<a href=\"$script?cmd=edit&page=".rawurlencode($page)."\">".strip_bracket($page)."</a>";
  32         if ($page == 'MenuBar') {
  33                 $body = "<span align=\"center\"><h5 class=\"side_label\">$link</h5></span>\n<small>$body</small>\n";
  34         }
  35         else {
  36                 $body = "<h1>$link</h1>\n$body\n";
  37         }
  38
  39         return $body;
  40 }
  41 ?>