From f7d3a9656f8ed2e9b99dcfcada16543c18a34e53 Mon Sep 17 00:00:00 2001
From: David Mudrak <david.mudrak@gmail.com>
Date: Mon, 4 Jan 2010 18:25:03 +0000
Subject: [PATCH] Fixed missing library include when deleting an instance
---
mod/workshop/lib.php | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/mod/workshop/lib.php b/mod/workshop/lib.php
index 154e5188ae..d2dff14639 100644
--- a/mod/workshop/lib.php
+++ b/mod/workshop/lib.php
@@ -156,7 +156,9 @@ function workshop_update_instance(stdClass $workshop) {
* @return boolean Success/Failure
*/
function workshop_delete_instance($id) {
- global $DB;
+ global $CFG, $DB;
+ require_once($CFG->libdir.'/gradelib.php');
+
if (! $workshop = $DB->get_record('workshop', array('id' => $id))) {
return false;
--
2.39.5