libdir.'/moodlelib.php'); $texexp = urldecode($_SERVER['QUERY_STRING']); // entities are usually encoded twice, first in HTML editor then in tex/filter.php $texexp = html_entity_decode(html_entity_decode($texexp)); // encode all entities (saves non-ISO) $texexp = htmlentities($texexp,ENT_COMPAT,get_string("thischarset","moodle")); ?>