<?php $foo = 42; var_dump(strlen($foo)); var_dump(ctype_digit($foo));
You have javascript disabled. You will not be able to edit any code.