hhvm/hphp/test/quick/builtin_extension_EncodingMatch.php

<?php

include __DIR__."/builtin_extensions.inc";

class A_EncodingMatch extends EncodingMatch {
  public $___x;
}
test("EncodingMatch");