<?php class Foo { public int $bar; } $foo = new Foo; var_dump(isset($foo->bar));
You have javascript disabled. You will not be able to edit any code.