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:57 +0200 |
commit | 2e7788b754393d2f6835c947783bd497ee3a043c (patch) | |
tree | 5d9bb252da5668b6703b41feaf1dd5f35b5723a4 /system | |
parent | 29684763878a008f31187190389b394a76f80d95 (diff) |
[ci skip] Remove a few leftover trailing spaces from PR #5816
Diffstat (limited to 'system')
-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 930e00d53..df38174b4 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; |