diff --git a/lib/util.php b/lib/util.php
index c7a2c50980..4b75b0808e 100644
--- 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.
','hint'=>'Please ask your server administrator to install the module.');
}
+ if(!function_exists('ctype_digit')){
+ $errors[]=array('error'=>'PHP module ctype is not installed.
','hint'=>'Please ask your server administrator to install the module.');
+ }
return $errors;
}