From 7ee066a48d8751849d305ea368270e88dd6e8323 Mon Sep 17 00:00:00 2001
From: Miha Vrhovnik <miha.vrhovnik@pagein.si>
Date: Tue, 19 Apr 2011 17:15:28 +0200
Subject: [PATCH] Adding check for json extension into the config.php script.
 This fixes trac ticket #9635

---
 web/config.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/web/config.php b/web/config.php
index b8921ee..f4f8fca 100644
--- a/web/config.php
+++ b/web/config.php
@@ -77,6 +77,10 @@
     $majorProblems[] = 'Install and enable the <strong>SQLite</strong> or <strong>PDO_SQLite</strong> extension.';
 }
 
+if (!function_exists('json_encode')) {
+    $majorProblems[] = 'Install and enable the <strong>json</strong> extension.';
+}
+
 // php.ini
 if (!ini_get('date.timezone')) {
     $phpini = true;