fetch: no FETCH_HEAD display if --no-write-fetch-head
[git] / t / t4018 / php-interface
1 interface RIGHT
2 {
3     public function foo($ChangeMe);
4 }