Update mantis_lib.php

Exception text edited