531ce56
--- filter/tex/texed.php.orig	2008-12-17 12:40:18.000000000 -0600
531ce56
+++ filter/tex/texed.php	2008-12-17 12:40:19.000000000 -0600
531ce56
@@ -33,0 +34 @@
531ce56
+        $pathname = "$CFG->dataroot/filter/tex/$image";
531ce56
@@ -37,0 +39 @@
531ce56
+            require_once($CFG->libdir . '/filelib.php');