diff options
author | Cyrille TOULET <cyrille.toulet@linux.com> | 2015-03-30 09:14:46 +0200 |
---|---|---|
committer | Cyrille TOULET <cyrille.toulet@linux.com> | 2015-03-30 09:14:46 +0200 |
commit | cbf3a559583bcc9055fcee5f7564ca847d0b8dff (patch) | |
tree | e675fb3f46e1257d183eee5f64c153aa6688bd59 /system | |
parent | ead327f7fd53946dc61dbd0562d9f7f3d19e802c (diff) |
Use tabs instead of spaces
Signed-off-by: Cyrille TOULET <cyrille.toulet@linux.com>
Diffstat (limited to 'system')
-rw-r--r-- | system/core/URI.php | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/system/core/URI.php b/system/core/URI.php index 9c8e37f0f..2211e3665 100644 --- a/system/core/URI.php +++ b/system/core/URI.php @@ -205,17 +205,17 @@ class CI_URI { $query = isset($uri['query']) ? $uri['query'] : ''; $uri = isset($uri['path']) ? $uri['path'] : ''; - if (isset($_SERVER['SCRIPT_NAME'][0])) - { - if (strpos($uri, $_SERVER['SCRIPT_NAME']) === 0) - { - $uri = (string) substr($uri, strlen($_SERVER['SCRIPT_NAME'])); - } - elseif (strpos($uri, dirname($_SERVER['SCRIPT_NAME'])) === 0) - { - $uri = (string) substr($uri, strlen(dirname($_SERVER['SCRIPT_NAME']))); - } - } + if (isset($_SERVER['SCRIPT_NAME'][0])) + { + if (strpos($uri, $_SERVER['SCRIPT_NAME']) === 0) + { + $uri = (string) substr($uri, strlen($_SERVER['SCRIPT_NAME'])); + } + elseif (strpos($uri, dirname($_SERVER['SCRIPT_NAME'])) === 0) + { + $uri = (string) substr($uri, strlen(dirname($_SERVER['SCRIPT_NAME']))); + } + } // This section ensures that even on servers that require the URI to be in the query string (Nginx) a correct // URI is found, and also fixes the QUERY_STRING server var and $_GET array. |