From b820c54ead8b2b9cdff1e5ff5effa76d1dbe5f92 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Mon, 18 Sep 2006 15:39:26 +0000
Subject: [PATCH] Removed unused file.

---
 ChangeLog                   |  1 +
 libraries/db_config.lib.php | 92 -------------------------------------
 2 files changed, 1 insertion(+), 92 deletions(-)
 delete mode 100644 libraries/db_config.lib.php

diff --git a/ChangeLog b/ChangeLog
index bef8b6992..354e845a3 100755
--- a/ChangeLog
+++ b/ChangeLog
@@ -7,6 +7,7 @@ $Source$
 
 2006-09-18 Michal Čihař  <michal@cihar.com>
     * scripts/setup.php: Add phpdoc header comment.
+    * libraries/db_config.lib.php: Removed unused file.
 
 2006-09-15 Marc Delisle  <lem9@users.sourceforge.net>
     * libraries/common.lib.php libraries/Config.class.php:
diff --git a/libraries/db_config.lib.php b/libraries/db_config.lib.php
deleted file mode 100644
index 3976d62f4..000000000
--- a/libraries/db_config.lib.php
+++ /dev/null
@@ -1,92 +0,0 @@
-<?php
-/* $Id$ */
-// vim: expandtab sw=4 ts=4 sts=4:
-
-/**
- * Database based configuration system
- * Robin Johnson <robbat2@users.sourceforge.net>
- * May 19, 2002
- */
-
-/**
- * Converts attributes of an object to xml code
- *
- * Original obj2xml() function by <jgettys@gnuvox.com>
- * as found on http://www.php.net/manual/en/function.get-defined-vars.php
- * Fixed and improved by Robin Johnson <robbat2@users.sourceforge.net>
- *
- * @param   object  the source
- * @param   string  identication
- *
- * @access  public
- */
-function obj2xml($v, $indent = '') {
-    $attr = '';
-    foreach ($v AS $key => $val) {
-        if (is_string($key) && ($key == '__attr')) {
-            continue;
-        }
-
-        // Check for __attr
-        if (is_object($val->__attr)) {
-            foreach ($val->__attr AS $key2 => $val2) {
-                $attr .= " $key2=\"$val2\"";
-            }
-        } else {
-            $attr     = '';
-        }
-
-        // Preserve data type information
-        $attr .= ' type="' . gettype($val) . '"';
-
-        if (is_array($val) || is_object($val)) {
-            echo "$indent<$key$attr>\n";
-            obj2xml($val, $indent . '  ');
-            echo "$indent</$key>\n";
-        } else {
-            if (is_string($val) && ($val == '')) {
-                echo "$indent<$key$attr />\n";
-            } else {
-                echo "$indent<$key$attr>$val</$key>\n";
-            }
-        }
-    } // end while
-} // end of the "obj2xml()" function
-
-
-$cfg['DBConfig']['AllowUserOverride'] = array(
-    'Servers/*/bookmarkdb',
-    'Servers/*/bookmarktable',
-    'Servers/*/relation',
-    'Servers/*/pdf_table_position',
-    'ShowSQL',
-    'Confirm',
-    'LeftFrameLight',
-    'ShowTooltip',
-    'ShowBlob',
-    'NavigationBarIconic',
-    'ShowAll',
-    'MaxRows',
-    'Order',
-    'ProtectBinary',
-    'ShowFunctionFields',
-    'LeftWidth',
-    'LeftBgColor',
-    'LeftPointerColor',
-    'RightBgColor',
-    'Border',
-    'ThBgcolor',
-    'BgcolorOne',
-    'BgcolorTwo',
-    'BrowsePointerColor',
-    'BrowseMarkerColor',
-    'TextareaCols',
-    'TextareaRows',
-    'LimitChars',
-    'ModifyDeleteAtLeft',
-    'ModifyDeleteAtRight',
-    'DefaultDisplay',
-    'RepeatCells'
-);
-
-?>