plugin/interwiki.inc.php

   1 <?php
   2 // PukiWiki - Yet another WikiWikiWeb clone.
   3 // $Id: interwiki.inc.php,v 1.11 2011/01/25 15:01:01 henoheno Exp $
   4 //
   5 // InterWiki redirection plugin (OBSOLETE)
   6
   7 function plugin_interwiki_action()
   8 {
   9         global $vars, $InterWikiName;
  10
  11         if (PKWK_SAFE_MODE) die_message('InterWiki plugin is not allowed');
  12
  13         $match = array();
  14         if (! preg_match("/^$InterWikiName$/", $vars['page'], $match))
  15                 return plugin_interwiki_invalid();
  16
  17         $url = get_interwiki_url($match[2], $match[3]);
  18         if ($url === FALSE) return plugin_interwiki_invalid();
  19
  20         pkwk_headers_sent();
  21         header('Location: ' . $url);
  22         exit;
  23 }
  24
  25 function plugin_interwiki_invalid()
  26 {
  27         global $_title_invalidiwn, $_msg_invalidiwn;
  28         return array(
  29                 'msg'  => $_title_invalidiwn,
  30                 'body' => str_replace(array('$1', '$2'),
  31                         array(htmlsc(''),
  32                         make_pagelink('InterWikiName')),
  33                         $_msg_invalidiwn));
  34 }
  35 ?>