PHP type casting
Correct type declarations