diff options
author | Andrey Andreev <narf@devilix.net> | 2019-09-05 14:48:28 +0200 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2019-09-05 14:48:28 +0200 |
commit | dd4c143ef12ccab9dd57991677ced85a4756ce1e (patch) | |
tree | ba548b298553c476338b0d8301048820902b6977 | |
parent | d5328adebff867b2757c74190eec5073ad56386f (diff) |
[ci skip] Remove a few leftover trailing spaces from PR #5816
-rw-r--r-- | system/libraries/Session/drivers/Session_redis_driver.php | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/system/libraries/Session/drivers/Session_redis_driver.php b/system/libraries/Session/drivers/Session_redis_driver.php index cb6bf3645..cba8c4f1d 100644 --- a/system/libraries/Session/drivers/Session_redis_driver.php +++ b/system/libraries/Session/drivers/Session_redis_driver.php @@ -78,27 +78,27 @@ class CI_Session_redis_driver extends CI_Session_driver implements SessionHandle /** * Name of setTimeout() method in phpRedis - * + * * Due to some deprecated methods in phpRedis, we need to call the * specific methods depending on the version of phpRedis. - * + * * @var string */ protected $_setTimeout_name; /** * Name of delete() method in phpRedis - * + * * Due to some deprecated methods in phpRedis, we need to call the * specific methods depending on the version of phpRedis. - * + * * @var string */ protected $_delete_name; /** * Success return value of ping() method in phpRedis - * + * * @var mixed */ protected $_ping_success; |