PHP requires integer typehints to be written "int" and does not allow "integer" as an alias. This changes type error messages to match the actual type name and avoids confusing messages like "must be of the type integer, integer given".
Fixes bug #67308 (Serialize of DateTime truncates fractions of second).