Online PHP editor | refs for eHoS0

@ 2014-07-12T01:03:30Z

<?php
error_reporting(~E_NOTICE);
		echo (int) isset(   $a );    // false and w/o error msg
		echo (int) empty( $a );      // true (false and 0 empty, too	
        echo (int) is_null( $a );    // true and error msg
		echo (int) null === $a;      // true and error msg