Handle this typehints

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

<?hh

include __DIR__."/builtin_extensions.inc";

class A_DOMImplementation extends DOMImplementation {
  public $___x;
}
test("DOMImplementation");