add check for ctype

diff --git a/lib/util.php b/lib/util.php
index c7a2c5098006433a39bf31362d597a1a839edf9c..4b75b0808e8969891459c70285347be290ca446d 100644 (file)
--- a/lib/util.php
+++ b/lib/util.php
@@ -250,6 +250,9 @@ class OC_Util {
                if(!function_exists('mb_detect_encoding')){
                        $errors[]=array('error'=>'PHP module mb multibyte not installed.<br/>','hint'=>'Please ask your server administrator to install the module.');
                }
+               if(!function_exists('ctype_digit')){
+                       $errors[]=array('error'=>'PHP module ctype is not installed.<br/>','hint'=>'Please ask your server administrator to install the module.');
+               }
 
                return $errors;
        }