2 # include("t_config.php");
6 <title>WikiCommander:CommandLine</title>
7 <link rel="stylesheet" type="text/css" href="80x25.css">
9 <body bgcolor="#000000" text="#dddddd" class="CommandLine" onLoad="document.forms[0].elements[0].focus()">
10 <nobr><form action="action.php" target="page" method="GET">
11 ewiki@<?php echo $_SERVER["SERVER_NAME"]; ?>$ <input type="text" name="input" size="40"
12 onKeypress="if (event.ctrlKey) { this.value = this.value + parent.id + ' '; return false; }">
13 <input type="hidden" name="cmd" value="1">