From ad3625390f6f59c1c52ad6399365f63c602de655 Mon Sep 17 00:00:00 2001
From: mudrd8mz <mudrd8mz>
Date: Wed, 12 Aug 2009 14:32:46 +0000
Subject: [PATCH] Fixes Fatal error:  Call to undefined function
 repository_head_setup()

---
 lib/form/editor.php | 1 +
 1 file changed, 1 insertion(+)

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
-- 
2.39.5