<?php $int = 12; var_dump(is_int($int));
You have javascript disabled. You will not be able to edit any code.