dl(json) is no longer necessary, and causes a fatal PHP error

diff --git a/archives/html/index.php b/archives/html/index.php
index 623a6d0de03c36dcfbd033cb786eab5edc3885d8..1082f5dddff4eb3eb94b81305480a9304892995d 100644 (file)
--- a/archives/html/index.php
+++ b/archives/html/index.php
@@ -1,7 +1,6 @@
 <?php
 
 ini_set('include_path', '../pearlib');
-dl('json.so');
 
 require 'HTML/Template/Sigma.php';
 

diff --git a/archives/html/list_index.php b/archives/html/list_index.php
index 7bd43907959046ab2a15d291c76e216cf5bd66b3..fa6da06ae2a0f99cc855b8cbbf97a06e7a49fc86 100644 (file)
--- a/archives/html/list_index.php
+++ b/archives/html/list_index.php
@@ -1,7 +1,6 @@
 <?php
 
 ini_set('include_path', $_SERVER['DOCUMENT_ROOT']."/../pearlib");
-dl('json.so');
 
 if ($_SERVER['PHP_SELF'] == '/list_index2.php') {
        echo "go away";

diff --git a/archives/html/msgtop.php b/archives/html/msgtop.php
index 43e47c34d27adb49693d0b5e07ab00a55263dc98..e10915618d318b53a9e47fef2c0428604724ad86 100644 (file)
--- a/archives/html/msgtop.php
+++ b/archives/html/msgtop.php
@@ -1,6 +1,5 @@
 <?php
 ini_set('include_path', $_SERVER['DOCUMENT_ROOT']."/../pearlib");
-dl('json.so');
 
 require 'HTML/Template/Sigma.php';