diff options
| -rw-r--r-- | application/config/user_agents.php | 3 | ||||
| -rw-r--r-- | system/core/Input.php | 4 |
2 files changed, 4 insertions, 3 deletions
diff --git a/application/config/user_agents.php b/application/config/user_agents.php index 69b91fff5..3f7c04162 100644 --- a/application/config/user_agents.php +++ b/application/config/user_agents.php @@ -76,7 +76,8 @@ $platforms = array( 'bsdi' => 'BSDi', 'openbsd' => 'OpenBSD', 'gnu' => 'GNU/Linux', - 'unix' => 'Unknown Unix OS' + 'unix' => 'Unknown Unix OS', + 'symbian' => 'Symbian OS' ); diff --git a/system/core/Input.php b/system/core/Input.php index b3bed724f..544b7c08b 100644 --- a/system/core/Input.php +++ b/system/core/Input.php @@ -295,8 +295,8 @@ class CI_Input { */ public function input_stream($index = NULL, $xss_clean = NULL) { - // The input stream can only be read once, so we'll need to check - // if we have already done that first. + // Prior to PHP 5.6, the input stream can only be read once, + // so we'll need to check if we have already done that first. if ( ! is_array($this->_input_stream)) { parse_str(file_get_contents('php://input'), $this->_input_stream); |