<?php $value='13'; var_dump(ctype_digit($value)); $value=13; var_dump(ctype_digit($value));
You have javascript disabled. You will not be able to edit any code.