From: mudrd8mz <mudrd8mz>
Date: Wed, 12 Aug 2009 14:32:46 +0000 (+0000)
Subject: Fixes Fatal error:  Call to undefined function repository_head_setup()
X-Git-Url: http://git.mjollnir.org/gw?a=commitdiff_plain;h=ad3625390f6f59c1c52ad6399365f63c602de655;p=moodle.git

Fixes Fatal error:  Call to undefined function repository_head_setup()
---

diff --git a/lib/form/editor.php b/lib/form/editor.php
index 1da0ec0b46..aa412d0c11 100644
--- a/lib/form/editor.php
+++ b/lib/form/editor.php
@@ -4,6 +4,7 @@ global $CFG;
 
 require_once('HTML/QuickForm/element.php');
 require_once($CFG->dirroot.'/lib/filelib.php');
+require_once($CFG->dirroot.'/repository/lib.php');
 
 //TODO:
 //  * locking