PHP : JSON alternative

Utilise http://pear.php.net/package/Services_JSON si les fonctions
json_* native de PHP ne sont pas disponibles
Pour https://github.com/marienfressinaud/FreshRSS/issues/306

1 files changed, 16 insertions, 0 deletions

diff --git a/lib/lib_rss.php b/lib/lib_rss.php
index 93fa48af0..e3deb9792 100644
--- a/lib/lib_rss.php
+++ b/lib/lib_rss.php
@@ -1,4 +1,20 @@
 <?php
+if (!function_exists('json_decode')) {
+	require_once('JSON.php');
+	function json_decode($var) {
+		$JSON = new Services_JSON;
+		return $JSON->decode($var);
+	}
+}
+
+if (!function_exists('json_encode')) {
+	require_once('JSON.php');
+	function json_encode($var) {
+		$JSON = new Services_JSON;
+		return $JSON->encode($var);
+	}
+}
+
 // vérifie qu'on est connecté
 function is_logged () {
 	return Session::param ('mail') != false;