[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 16:10 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");
====================================================================== 

---------------------------------------------------------------------- 
 (0010022) lsiden (reporter) - 2012-07-12 16:10
 https://www.opencsw.org/mantis/view.php?id=4977#c10022 
---------------------------------------------------------------------- 
"extension=ctype.so" fixed it, thanks.  The PHP docs said that it should be
a built-in function, but I guess I should have paid attention to phpinfo()
saying "--enable-ctype='shared'", meaning it needs to load the .so.