<?php
class Foo {
    function __isset(\stdClass $name) {}
}
?>