Merge branch 'jk/ui-color-always-to-auto'
[git] / t / t4018 / php-interface
1 interface RIGHT
2 {
3     public function foo($ChangeMe);
4 }