Online PHP editor | refs for IDdMi

<?php $input = "111"; $intval = intval($input); echo json_encode($intval); echo $input==$intval; $input = "111"; $intval = intval($input); echo json_encode($intval); echo $input==$intval; $input = "5610a"; $intval = intval($input); echo json_encode($intval); echo $input==$intval;