repo-settings: read an int for index.version
[git] / t / t4018 / php-interface
1 interface RIGHT
2 {
3     public function foo($ChangeMe);
4 }