diff --git a/libraries/joomla/session/storage/redis.php b/libraries/joomla/session/storage/redis.php deleted file mode 100644 index 356b672ec37db..0000000000000 --- a/libraries/joomla/session/storage/redis.php +++ /dev/null @@ -1,74 +0,0 @@ -_server = array( - 'host' => $config->get('session_redis_server_host', 'localhost'), - 'port' => $config->get('session_redis_server_port', 6379), - ); - - parent::__construct($options); - } - - /** - * Register the functions of this class with PHP's session handler - * - * @return void - * - * @since 3.8.0 - */ - public function register() - { - if (!empty($this->_server) && isset($this->_server['host']) && isset($this->_server['port'])) - { - ini_set('session.save_path', "{$this->_server['host']}:{$this->_server['port']}"); - ini_set('session.save_handler', 'redis'); - - // This is required if the configuration.php gzip is turned on - ini_set('zlib.output_compression', 'Off'); - } - } - - /** - * Test to see if the SessionHandler is available. - * - * @return boolean True on success, false otherwise. - * - * @since 3.8.0 - */ - public static function isSupported() - { - return extension_loaded('redis') && class_exists('Redis'); - } -}