plugin/lookup.inc.php

   1 <?
   2 // $Id: lookup.inc.php,v 1.5 2002/07/12 11:53:56 masui Exp $
   3
   4 function plugin_lookup_convert()
   5 {
   6         global $script,$vars;
   7
   8         $args = func_get_args();
   9
  10         if(func_num_args() < 2) return FALSE;
  11
  12         $iwn = trim(strip_tags($args[0]));
  13         $btn = trim(strip_tags($args[1]));
  14         $default = trim(strip_tags($args[2]));
  15
  16         $ret = "<form action=\"$script\" method=\"post\">\n";
  17         $ret.= "<div>\n";
  18         $ret.= "<input type=\"hidden\" name=\"plugin\" value=\"lookup\" />\n";
  19         $ret.= "<input type=\"hidden\" name=\"refer\" value=\"".htmlspecialchars($vars["page"])."\" />\n";
  20         $ret.= "<input type=\"hidden\" name=\"inter\" value=\"$iwn\" />\n";
  21         $ret.= "$iwn:\n";
  22         $ret.= "<input type=\"text\" name=\"page\" size=\"30\" value=\"$default\" />\n";
  23         $ret.= "<input type=\"submit\" value=\"$btn\" />\n";
  24         $ret.= "</div>\n";
  25         $ret.= "</form>\n";
  26
  27         return $ret;
  28 }
  29 function plugin_lookup_action()
  30 {
  31         global $vars,$script;
  32
  33         if(!$vars["inter"] || !$vars["page"]) return;
  34
  35         $interwikiname = "[[".$vars["inter"].":".$vars["page"]."]]";
  36         $interwikiname = rawurlencode($interwikiname);
  37
  38         header("Location: $script?$interwikiname");
  39         die();
  40 }
  41 ?>