Rename `arguments' to `prototype'  in php-extras-company