Accidentally deleted a $CFG line

2003-11-07 04:14:38 +00:00
parent c6927f670c
commit 428aaa2911
1 changed files with 1 additions and 0 deletions
@@ -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");