Merge branch 'js/filter-options-should-use-plain-int'

[git] / t / t4018 / php-interface

interface RIGHT
{
    public function foo($ChangeMe);
}