2 # include("t_config.php");
6 <title>WikiCommander:KeyMenu</title>
7 <link rel="stylesheet" type="text/css" href="80x25.css">
9 <body bgcolor="#222222" text="#dddddd" class="KeyMenu Menu">
10 <div width="100%"><nobr>
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 ", "parent.delete_page()"),
21 9 => array("Menu", '"filemenu.php" target="menu"'),
22 10 => array("Quit", '".." target="_parent"'),
24 foreach ($menu as $num=>$uu) {
25 list($id, $href) = $uu;
26 if (strpos($href, '"')===false) {
27 $href = '"javascript:void('.$href.');"';
29 echo " $num" . "<a href=$href>$id</a>\n";