mods/wiki/tools/t_commander/keymenu.php

   1 <?php
   2  # include("t_config.php");
   3 ?>
   4 <html>
   5 <head>
   6  <title>WikiCommander:KeyMenu</title>
   7  <link rel="stylesheet" type="text/css" href="80x25.css">
   8 </head>
   9 <body bgcolor="#222222" text="#dddddd" class="KeyMenu Menu">
  10 <div width="100%"><nobr>
  11 <?php
  12
  13   $menu = array(
  14     1 => array("Help", '"info.php" target="page"'),
  15     2 => array("Save", ""),  //"window.PageDetails.form[0].submit()"
  16     3 => array("Show", "parent.page.location.href='../../?id='+parent.id"),
  17     4 => array("Edit", "parent.page.location.href='edit.php?id='+parent.id"),
  18     5 => array("Copy", "parent.copy_page()"),
  19     6 => array("Move", "parent.rename_page()"),
  20     8 => array("Del&nbsp;", "parent.delete_page()"),
  21     9 => array("Menu", '"filemenu.php" target="menu"'),
  22     10 => array("Quit", '".." target="_parent"'),
  23   );
  24   foreach ($menu as $num=>$uu) {
  25      list($id, $href) = $uu;
  26      if (strpos($href, '"')===false) {
  27         $href = '"javascript:void('.$href.');"';
  28      }
  29      echo " $num" . "<a href=$href>$id</a>\n";
  30   }
  31
  32 ?>
  33 </nobr></div>
  34 </body>
  35 </html>