PHP - Type Handling
You have an array of mixed values:
["10", 20, "30.5", true]. Which PHP code correctly casts all elements to integers using type casting syntax?