PHP Doc fixes
Merge branch 'master' of github.com:mantisbt/mantisbt
Further backports of db_int*/phpdoc*