2 // PukiWiki - Yet another WikiWikiWeb clone.
3 // $Id: interwiki.inc.php,v 1.10 2004/12/04 14:48:32 henoheno Exp $
5 // InterWiki redirection plugin (OBSOLETE)
7 function plugin_interwiki_action()
9 global $vars, $InterWikiName;
11 if (PKWK_SAFE_MODE) die_message('InterWiki plugin is not allowed');
14 if (! preg_match("/^$InterWikiName$/", $vars['page'], $match))
15 return plugin_interwiki_invalid();
17 $url = get_interwiki_url($match[2], $match[3]);
18 if ($url === FALSE) return plugin_interwiki_invalid();
21 header('Location: ' . $url);
25 function plugin_interwiki_invalid()
27 global $_title_invalidiwn, $_msg_invalidiwn;
29 'msg' => $_title_invalidiwn,
30 'body' => str_replace(array('$1', '$2'),
31 array(htmlspecialchars(''),
32 make_pagelink('InterWikiName')),