Update mantis_lib.php