]> git.mjollnir.org Git - moodle.git/commitdiff
Some fixes to display documentation better in other languages
authormoodler <moodler>
Thu, 12 Jun 2003 11:55:03 +0000 (11:55 +0000)
committermoodler <moodler>
Thu, 12 Jun 2003 11:55:03 +0000 (11:55 +0000)
doc/contents.php
doc/index.php
doc/view.php

index f6f9407ecea927573eb17cf6a16007f338a3bf13..a5aa4752749e1dbab4dc8ae54839b9742c85a338 100755 (executable)
@@ -2,16 +2,18 @@
 \r
     require("../config.php");\r
 \r
-    $info = document_file("files.php", false);\r
+    if (! $info = document_file("files.php", false)) {\r
+        error("404 - File Not Found");\r
+    }\r
 \r
     include($info->filepath);\r
 \r
     print_header();\r
 \r
-    echo "<FONT SIZE=2 FACE=\"san-serif\">";\r
+    echo "<font size=2 face=\"san-serif\">";\r
     foreach ($string as $file => $filename) {\r
-        echo "<LI><A TARGET=\"main\" HREF=\"$CFG->wwwroot/doc/?file=$file\">$filename</A></LI>";\r
+        echo "<li><a target=\"main\" href=\"$CFG->wwwroot/doc/?file=$file\">$filename</a></li>";\r
     }\r
-    echo "</FONT>";\r
+    echo "</font>";\r
     \r
 ?>\r
index 59e29a9c5c45df49b3b10a790e256a142465af03..a73030b188d43a5067e876cfb43bd35b6fc60842 100644 (file)
@@ -28,7 +28,9 @@
         $include = true;
     }
 
-    document_file($file, $include);
+    if (! document_file($file, $include)) {
+        error("Error 404 - File Not Found");
+    }
 
     if ($include) {
         exit;
 
 ?>
 
-<HEAD>
-    <TITLE>Moodle Documentation</TITLE>
-</HEAD>
-
-<FRAMESET ROWS="70,*">
-    <FRAME NAME="top" SRC="top.php">
-    <FRAMESET COLS="200,*">
-        <FRAME NAME="contents" SRC="contents.php">
-        <FRAME NAME="main" SRC="index.php?file=<?PHP echo "$file$sub"; ?>">
-    </FRAMESET>
-</FRAMESET>
+<head>
+    <title><?php print_string("documentation")?></title>
+</head>
+
+<frameset rows="70,*">
+    <frame name="top" src="top.php">
+    <frameset cols="200,*">
+        <frame name="contents" src="contents.php">
+        <frame name="main" src="index.php?file=<?php echo "$file$sub"; ?>">
+    </frameset>
+</frameset>
index 89d95d5f93cf4b3bb9f579554b45ab8accf402aa..088c59f30677963fecfee83729009f3143726b16 100644 (file)
         }
         $strhelp = get_string("help");
         print_header("$course->shortname: $strhelp", "$course->fullname", 
-                     "<A HREF=\"../course/view.php?id=$course->id\">$course->shortname</A> -> $strhelp");
+                     "<a href=\"../course/view.php?id=$course->id\">$course->shortname</a> -> $strhelp");
     } else {
         if (! $site = get_site()) {
             error("Site is misconfigured");
         }
         $strdocumentation = get_string("documentation");
         print_header("$site->shortname: $strhelp", "$site->fullname", 
-                     "<A HREF=\"view.php?file=contents.html\">$strdocumentation</A>");
+                     "<a href=\"view.php?file=contents.html\">$strdocumentation</a>");
         
     }
 
-    echo "<BLOCKQUOTE>";
+    echo "<blockquote>";
 
-    document_file($file, true);
+    if (! document_file($file, true)) {
+        notify("404 - File Not Found");
+    }
 
-    echo "</BLOCKQUOTE>";
+    echo "</blockquote>";
 
 ?>