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