fixing sanitize_int callback and phpdoc