Delete mantis.js