>Can you try this small test to see if your php setup really does have
>broken support for ctype_digit() ?
>% php -r 'print ctype_digit(1234);'
Yes, it returned 1.
Should print '1'. If that doesn't work, then examine
/usr/local/etc/php/extensions.ini -- does it contain the line
extension=ctype
Daniel Dvořák wrote:
> Fatal error: Call to undefined function ctype_digit() in
> /usr/local/www/phpMyAdmin/libraries/common.lib.php on line 2993
>
> It seems something wrong with php5-ctype ?
>
> What can I do with this ?
Can you try this small test to see if your php setup really does have
b
