Merge branch 'en/merge-ort-3' into en/ort-directory-rename
[git] / t / t4018 / php-interface
1 interface RIGHT
2 {
3     public function foo($ChangeMe);
4 }