check if PHP mod JSON is installed

diff --git a/lib/util.php b/lib/util.php
index 02ac2e505fa330a3966947ffe185d4a03c84ed6c..55cef99c2e2113277cf6eaa69b962e6d609bf94c 100644 (file)
--- a/lib/util.php
+++ b/lib/util.php
@@ -237,6 +237,9 @@ class OC_Util {
                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.');
                }
+               if(!function_exists('json_encode')){
+                       $errors[]=array('error'=>'PHP module JSON is not installed.<br/>','hint'=>'Please ask your server administrator to install the module.');
+               }
 
                return $errors;
        }