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