[bug-notifications] [php5_ctype 0004977]: Fatal error: Call to undefined function ctype_digit()

[Mantis Bug Tracker]

A NOTE has been added to this issue. 
====================================================================== 
https://www.opencsw.org/mantis/view.php?id=4977 
====================================================================== 
Reported By:                lsiden
Assigned To:                
====================================================================== 
Project:                    php5_ctype
Issue ID:                   4977
Category:                   regular use
Reproducibility:            always
Severity:                   major
Priority:                   normal
Status:                     new
====================================================================== 
Date Submitted:             2012-07-12 04:30 CEST
Last Modified:              2012-07-12 15:24 CEST
====================================================================== 
Summary:                    Fatal error: Call to undefined function
ctype_digit()
Description: 
php5 was compiled with '--enable-ctype=shared' (see attached), yet this
simple script will throw a fatal error:

<? echo ctype_digit("1");
====================================================================== 

---------------------------------------------------------------------- 
 (0010021) bwalton (administrator) - 2012-07-12 15:24
 https://www.opencsw.org/mantis/view.php?id=4977#c10021 
---------------------------------------------------------------------- 
I think you'll need to add extension=ctype.so to php.ini.  It's not there
in the default config so it doesn't get enabled at install time...I guess
it's normally built in statically?

I'll arrange for the default php.ini to include a commented out line for
this module so it should work cleanly in the future.

If the above doesn't help you, let me know.