It should be checked if the convention until now has "int" or "integer" for phpdoc of int parameters