locallib.php added to index.php, it needs one of the functions.

diff --git a/mod/exercise/index.php b/mod/exercise/index.php
index eb0757b2cbd3adb028953960da4bdcf80dd38825..4699a8b4cbae217698204e24b19f352c6be6c38b 100644 (file)
--- a/mod/exercise/index.php
+++ b/mod/exercise/index.php
@@ -2,6 +2,7 @@
 
     require("../../config.php");
     require("lib.php");
+    require("locallib.php");
 
     require_variable($id);   // course