diff options
| -rw-r--r-- | lib/util.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/util.php b/lib/util.php index c7a2c509800..4b75b0808e8 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.<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; } |