From f88118f44714701388c5065bee22efcf00701061 Mon Sep 17 00:00:00 2001
From: "Alexander M. Turek" <me@derrabus.de>
Date: Wed, 19 Jun 2002 13:19:40 +0000
Subject: [PATCH] Only run config_import.lib.php3 if config.inc.php3 is too
 old.

---
 libraries/common.lib.php3 | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/libraries/common.lib.php3 b/libraries/common.lib.php3
index c2a90060f..8d81feda6 100644
--- a/libraries/common.lib.php3
+++ b/libraries/common.lib.php3
@@ -136,7 +136,9 @@ h1    {font-family: sans-serif; font-size: large; font-weight: bold}
     include('./libraries/defines.lib.php3');
 
     // For compatibility with old config.inc.php3
-    include('./libraries/config_import.lib.php3');
+    if (!isset($cfg['FileRevision']) || (int)substr($cfg['FileRevision'],13,3) < 110) {
+        include('./libraries/config_import.lib.php3');
+    }
 
     // If zlib output compression is set in the php configuration file, no
     // output buffering should be run