Revert/optimize some changes from ed944a3c70a0bad158cd5a6ca5ce1f2e717aff5d
diff --git a/system/core/URI.php b/system/core/URI.php
index 0afb374..a575bc3 100755
--- a/system/core/URI.php
+++ b/system/core/URI.php
@@ -111,7 +111,7 @@
// Is there a PATH_INFO variable?
// Note: some servers seem to have trouble with getenv() so we'll test it two ways
- $path = (isset($_SERVER['PATH_INFO'])) ? $_SERVER['PATH_INFO'] : @getenv('PATH_INFO');
+ $path = isset($_SERVER['PATH_INFO']) ? $_SERVER['PATH_INFO'] : @getenv('PATH_INFO');
if (trim($path, '/') !== '' && $path !== '/'.SELF)
{
$this->_set_uri_string($path);