plugin/server.inc.php

   1 <?php
   2  /*
   3
   4  PukiWiki ¥µ¡¼¥Ð¡¼¾ðÊóÉ½¼¨¥×¥é¥°¥¤¥ó
   5
   6  by Reimy
   7  http://pukiwiki.reimy.com/
   8
   9
  10  init.php ¤Î16¹ÔÌÜ¤¢¤¿¤ê¤Ë²¼µ¤Î¹Ô¤òÄÉ²Ã¤·¤Æ¤«¤é¤´»ÈÍÑ¤¯¤À¤µ¤¤
  11  define("SERVER_NAME",$HTTP_SERVER_VARS["SERVER_NAME"]);
  12  define("SERVER_SOFTWARE",$HTTP_SERVER_VARS["SERVER_SOFTWARE"]);
  13  define("SERVER_ADMIN",$HTTP_SERVER_VARS["SERVER_ADMIN"]);
  14
  15  ¢¨SERVER_NAME¤Ïinit.php¤Ç´û¤ËÀßÄê¤µ¤ì¤Æ¤¤¤ë¤Ï¤º¤Ç¤¹¤Î¤Ç¡¢»Ä¤ê2¹Ô¤òÄÉ²Ã¤·¤Æ¤¯¤À¤µ¤¤
  16
  17  $Id: server.inc.php,v 1.2 2002/12/05 05:49:41 panda Exp $
  18
  19  */
  20
  21  function plugin_server_convert()
  22  {
  23    $string = "<dl><dt>Server Name</dt>\n<dd>"
  24    .SERVER_NAME
  25    ."</dd>\n<dt>Server Software</dt>\n<dd>"
  26    .SERVER_SOFTWARE
  27    ."</dd>\n<dt>Server Admin</dt>\n<dd>"
  28    ."<a href=\"mailto:"
  29    .SERVER_ADMIN
  30    ."\">"
  31    .SERVER_ADMIN
  32    ."</a></dd></dl>\n";
  33    return $string;
  34  }
  35 ?>