From 3bf79a9eff76cc5745e43aa3c601ce37a0160178 Mon Sep 17 00:00:00 2001
From: Mhonarc archives guy <archives@archanis.postgresql.org>
Date: Wed, 4 Jan 2012 11:39:48 +0000
Subject: [PATCH] dl(json) is no longer necessary, and causes a fatal PHP error

---
 archives/html/index.php      | 1 -
 archives/html/list_index.php | 1 -
 archives/html/msgtop.php     | 1 -
 3 files changed, 3 deletions(-)

diff --git a/archives/html/index.php b/archives/html/index.php
index 623a6d0d..1082f5dd 100644
--- 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 7bd43907..fa6da06a 100644
--- 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 43e47c34..e1091561 100644
--- 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';
 
-- 
2.39.5