plugin/server.inc.php

   1 <?php
   2  /*
   3
   4  PukiWiki ¥µ¡¼¥Ð¡¼¾ðÊóÉ½¼¨¥×¥é¥°¥¤¥ó
   5
   6  by Reimy
   7  http://pukiwiki.reimy.com/
   8
   9  $Id: server.inc.php,v 1.4 2004/07/31 03:09:20 henoheno Exp $
  10
  11  */
  12
  13  function plugin_server_convert()
  14  {
  15    $string = "<dl><dt>Server Name</dt>\n<dd>"
  16    .SERVER_NAME
  17    ."</dd>\n<dt>Server Software</dt>\n<dd>"
  18    .SERVER_SOFTWARE
  19    ."</dd>\n<dt>Server Admin</dt>\n<dd>"
  20    ."<a href=\"mailto:"
  21    .SERVER_ADMIN
  22    ."\">"
  23    .SERVER_ADMIN
  24    ."</a></dd></dl>\n";
  25    return $string;
  26  }
  27 ?>