Fix PHP warning in search page
Fix PHP warning in search page

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