#PHP has (int) and (integer) cast operators, but only the int type.
'integer' type is presumed to be a class. It raises a warning, even if it exists.
"integer" will be interpreted as a class name. Did you mean "int"? Write "\integer" to suppress this warning
#phptip #phptrick