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

[Mantis Bug Tracker]

The following issue has been CLOSED 
====================================================================== 
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:                     closed
Resolution:                 open
Fixed in Version:           
====================================================================== 
Date Submitted:             2012-07-12 04:30 CEST
Last Modified:              2012-07-25 05:08 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");
====================================================================== 

---------------------------------------------------------------------- 
 (0010053) bwalton (administrator) - 2012-07-25 05:08
 https://www.opencsw.org/mantis/view.php?id=4977#c10053 
---------------------------------------------------------------------- 
The recipe has been updated to ensure that ctype.so is listed as an
extension in the default php.ini file.