Fix for bug 2492: Notices thrown by pagelib.php.

It was an oversight on my part. Thanks Gustav!

diff --git a/lib/pagelib.php b/lib/pagelib.php
index c82df817542ca44db2a04692ab81440d58b52afd..bbdff8165178ca76c072709044129d5d20e0125d 100644 (file)
--- a/lib/pagelib.php
+++ b/lib/pagelib.php
@@ -545,12 +545,14 @@ class page_quiz extends page_base {
     // When is a user said to have "editing rights" in this page? This would have something
     // to do with roles, in the future.
     function user_allowed_editing() {
+        $this->init_full();
         return isteacheredit($this->modulerecord->course);
     }
 
     // Is the user actually editing this page right now? This would have something
     // to do with roles, in the future.
     function user_is_editing() {
+        $this->init_full();
         return isediting($this->modulerecord->course);
     }