Readline compile failure

Committed; thanks!

Hi,
here's a patch that fixes the following:

In file included from
/usr/home/thekid/devel/php/php/ext/readline/readline.c:28:
/usr/home/thekid/devel/php/php/ext/readline/php_readline.h:26: warning:
#warning Readline module will NEVER be thread-safe
/usr/home/thekid/devel/php/php/ext/readline/readline.c: In function
_readline_completion_cb': /usr/home/thekid/devel/php/php/ext/readline/readline.c:423: warning: passing arg 1 ofcompletion_matches' discards qualifiers from pointer
target type
/usr/home/thekid/devel/php/php/ext/readline/readline.c: In function
zif_readline_completion_function': /usr/home/thekid/devel/php/php/ext/readline/readline.c:443: syntax error beforechar'
/usr/home/thekid/devel/php/php/ext/readline/readline.c:444: `name'
undeclared (first use in this function)
/usr/home/thekid/devel/php/php/ext/readline/readline.c:444: (Each
undeclared identifier is reported only once
/usr/home/thekid/devel/php/php/ext/readline/readline.c:444: for each
function it appears in.)
*** Error code 1

Stop in /usr/home/thekid/devel/php/php.

• Timm