Update PHPDoc for MANTIS_VERSION constant
Update PHPDoc for MANTIS_VERSION constant

mantisbt-plugins/source-integration,make-all/source-integration,mantisbt-plugins/source-integration,dregad/source-integration,make-all/source-integration,mantisbt-plugins/source-integration,dregad/source-integration,dregad/source-integration,make-all/source-integration