Mantis 1.12.5 modified, need to modifiy config.php