<?php
echo (function_exists('ctype_digit')) ?
'ctype_digit exists; ' : 'ctype_digit does not exist; ';
function testInt($a){
}
return 'false';
}
$strings = array('1820.20', '10002', 'wsl!12', '');
foreach ($strings as $test) {
echo $test . ' = ' . testInt($test) . '; ';
}
?>
PD9waHAKCmVjaG8gKGZ1bmN0aW9uX2V4aXN0cygnY3R5cGVfZGlnaXQnKSkgPyAnY3R5cGVfZGlnaXQgZXhpc3RzOyAnIDogJ2N0eXBlX2RpZ2l0IGRvZXMgbm90IGV4aXN0OyAnOwoKZnVuY3Rpb24gdGVzdEludCgkYSl7CiAgICBpZiAoaW50dmFsKCRhKT4wKSB7CiAgICAgICAgcmV0dXJuIChmbG9hdHZhbCgkYSk9PWludHZhbCgkYSkpID8gJ3RydWUnIDogJ2ZhbHNlJzsKICAgIH0KICAgIHJldHVybiAnZmFsc2UnOwp9Cgokc3RyaW5ncyA9IGFycmF5KCcxODIwLjIwJywgJzEwMDAyJywgJ3dzbCExMicsICcnKTsKCmZvcmVhY2ggKCRzdHJpbmdzIGFzICR0ZXN0KSB7CiAgICBlY2hvICR0ZXN0IC4gJyA9ICcgLiB0ZXN0SW50KCR0ZXN0KSAuICc7ICc7Cn0KCj8+