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