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

[Mantis Bug Tracker]

The following issue has been SUBMITTED. 
====================================================================== 
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 04:30 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");
======================================================================