mantis.min.js updated