Mega Code Archive

 

Categories / Php / Data Type

 

Change the data type

<?php $a = 123; echo "is_int($a) = " . (is_int($a) ? "true" : "false") . "\n"; $a = '123'; echo "is_int((int)$a) = " . (is_int((int)$a) ? "true" : "false") . "\n"; ?>