Revert last commit, as it makes more sense to keep it to is_int() over is_integer(), see php-src commit: 6b8ed592b92027ceb4f76e6a06754a9c75ca4f36

git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@335292 c90b9560-bf6c-de11-be94-00142212c4b1