<?php class a { public static $a; } $a = null; echo var_dump(isset($a));
You have javascript disabled. You will not be able to edit any code.