config.php not required ... just in case themes move or something ...

diff --git a/lib/setup.php b/lib/setup.php
index 97a155de3b41ede7ad86eef4dd8e17704a3c3e6c..224953a7896ff642887a77d56b6a0240aa60daae 100644 (file)
--- a/lib/setup.php
+++ b/lib/setup.php
@@ -59,7 +59,7 @@
     if (!isset($CFG->theme)) {
         $CFG->theme = "standard";
     }
-    require("$CFG->dirroot/theme/$CFG->theme/config.php");
+    include("$CFG->dirroot/theme/$CFG->theme/config.php");
 
     $CFG->stylesheet  = "$CFG->wwwroot/theme/$CFG->theme/styles.php";
     $CFG->header      = "$CFG->dirroot/theme/$CFG->theme/header.html";