Merge branch 'js/fsmonitor-refresh-after-discarding-index'
[git] / t / t4018 / php-interface
1 interface RIGHT
2 {
3     public function foo($ChangeMe);
4 }