These includes are actually required

2002-12-02 01:12:06 +00:00
parent 666122b94b
commit 8ea300947d
1 changed files with 3 additions and 3 deletions
@@ -2,9 +2,9 @@
    // index.php - the front page.
    
    require("config.php");
-    include("course/lib.php");
-    include("mod/resource/lib.php"); 
-    include("mod/forum/lib.php");
+    require("course/lib.php");
+    require("mod/resource/lib.php"); 
+    require("mod/forum/lib.php");

    if (! $site = get_site()) {
        redirect("$CFG->wwwroot/admin/index.php");