From 3b7de22bdd7657908d0dd71fd488caed583305df Mon Sep 17 00:00:00 2001
From: Madhura Jayaratne <madhura.cj@gmail.com>
Date: Wed, 16 May 2012 21:54:25 +0530
Subject: [PATCH] Fix indentation

---
 libraries/config/ConfigFile.class.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/libraries/config/ConfigFile.class.php b/libraries/config/ConfigFile.class.php
index d3b2eeadbe..887440b455 100644
--- a/libraries/config/ConfigFile.class.php
+++ b/libraries/config/ConfigFile.class.php
@@ -401,9 +401,9 @@ class ConfigFile
      */
     public function getServers()
     {
-      return isset($_SESSION[$this->_id]['Servers'])
-          ? $_SESSION[$this->_id]['Servers']
-          : null;
+        return isset($_SESSION[$this->_id]['Servers'])
+            ? $_SESSION[$this->_id]['Servers']
+            : null;
     }
 
     /**