Replace `integer` with `int` in PHP documentation