2 include("t_config.php");
6 <title>WikiCommander:PageList</title>
7 <link rel="stylesheet" type="text/css" href="80x25.css">
9 <body bgcolor="#0000c0" text="#eeeeee" class="PageList Panel">
13 if ($filter = $_REQUEST["filter"]) {
14 $regex = preg_quote($filter);
15 $regex = str_replace("\\*", ".*", $regex);
16 echo "<div class=\"msg\">filter regex /^$regex$/i</div>\n";
17 $regex = ":^$regex$:i";
21 <table border="0" cellpadding="2" cellspacing="0">
22 <colgroup cols="3"><col width="70%"><col width="10%"><col width="20%"></colgroup>
31 $all = ewiki_db::GETALL(array("id","version","flags","lastmodified"));
32 while ($row = $all->GET()) {
36 $url_id = urlencode($id);
37 $title = htmlentities(substr($id, 0, 32));
40 if ($regex && !preg_match($regex, $id)) {
45 echo "<tr onClick=\"parent.select_id(event, this, '".htmlentities($id)."')\">"
47 . "<a target=\"page\" href=\"edit.php?id=$url_id\""
48 . " onClick=\"return parent.click_magic(event)\">$title</a></td>"
49 . '<td align="right">' . flag_text($row["flags"]) . '</td>'
50 . '<td>' . strftime("%Y-%m-%d", $row["lastmodified"]) . '</td>'