Accidentally deleted a $CFG line

diff --git a/lib/weblib.php b/lib/weblib.php
index ffe3cf4e7d6c8c4602f6b7def4b5e31d0e02d7eb..1d2c863e34f7aa017aff6ec1abd5c1ff04baef22 100644 (file)
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -688,6 +688,7 @@ function wiki_to_html($text) {
 
 function html_to_text($html) {
 /// Given HTML text, make it into plain text using external function
+    global $CFG;
 
     require_once("$CFG->libdir/html2text.php");