These includes are actually required

diff --git a/index.php b/index.php
index 931569bef2d8fd00805275f16fdde925caa319ba..f6ce89e9ba943ac121748c2fbf477242605898ad 100644 (file)
--- a/index.php
+++ b/index.php
@@ -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");