Handle this typehints

[hiphop-php.git] / hphp / test / quick / builtin_extension_DOMNode.php

<?hh

include __DIR__."/builtin_extensions.inc";

class A_DOMNode extends DOMNode {
  public $___x;
}
test("DOMNode");