Mantis is a web-based bugtracking system. It is written in the PHP scripting
language and requires the MySQL database and a webserver.
