summaryrefslogtreecommitdiffstats
path: root/system
diff options
context:
space:
mode:
authorCyrille TOULET <cyrille.toulet@linux.com>2015-03-30 09:14:46 +0200
committerCyrille TOULET <cyrille.toulet@linux.com>2015-03-30 09:14:46 +0200
commitcbf3a559583bcc9055fcee5f7564ca847d0b8dff (patch)
treee675fb3f46e1257d183eee5f64c153aa6688bd59 /system
parentead327f7fd53946dc61dbd0562d9f7f3d19e802c (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.php22
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.