doc/contents.php

   1 <?PHP  // $Id$
   2
   3     require("../config.php");
   4
   5     if (! $info = document_file("files.php", false)) {
   6         error("404 - File Not Found");
   7     }
   8
   9     include($info->filepath);
  10
  11     print_header();
  12
  13     foreach ($string as $file => $filename) {
  14         if (substr($file,0,1) == "-") {
  15             echo '<p style="font-size:small;margin-bottom:0px;font-family:Trebuchet MS, Verdana, Arial, Helvetica, sans-serif;">'.
  16                   $filename.'</p>';
  17         } else {
  18             echo "<li style=\"font-size:small\"><a target=\"main\" href=\"$CFG->wwwroot/doc/?file=$file\">$filename</a></li>";
  19         }
  20     }
  21
  22 ?>