1<?php
2if ($ID == "start") {
3  $dirname = "data/pages";
4} else {
5  $dirname = "data/pages/".$ID;
6}
7
8$dir = opendir($dirname);
9$ns = DOKU_URL;
10?>
11
12<?php
13while(false != ($file = readdir($dir)))
14{
15if(($file != ".") and ($file != "..")) {
16  $file = substr($file, 0, -4);
17  if ($ID == "start") {
18    echo("<a href='$ns/doku.php?id=$file'>$file</a>");
19  } else {
20    echo("<a href='$ns/doku.php?id=$ID:$file'>$file</a>");
21  }
22}
23}
24?>