diff options
author | Andrey Andreev <narf@devilix.net> | 2022-02-11 15:38:58 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-02-11 15:38:58 +0100 |
commit | cd81c1e6b206c2830fffb4c33d89cb61837f3253 (patch) | |
tree | baf27bc6686400f6e5d612470d04191a44ac75e4 /system/libraries | |
parent | dd249ea85f54f200267bb206e6cee23497cbe2e2 (diff) | |
parent | dafbbba4f0ce775b7a70f37ba12ee85b65a941b1 (diff) |
[ci skip] Merge pull request #6098 from totoprayogo1916/indent-whitespaces
Minor indentation & whitespace corrections
Diffstat (limited to 'system/libraries')
-rw-r--r-- | system/libraries/Cache/drivers/Cache_redis.php | 1 | ||||
-rw-r--r-- | system/libraries/Session/drivers/Session_files_driver.php | 2 | ||||
-rw-r--r-- | system/libraries/Xmlrpc.php | 2 |
3 files changed, 2 insertions, 3 deletions
diff --git a/system/libraries/Cache/drivers/Cache_redis.php b/system/libraries/Cache/drivers/Cache_redis.php index e541237e3..466a891f7 100644 --- a/system/libraries/Cache/drivers/Cache_redis.php +++ b/system/libraries/Cache/drivers/Cache_redis.php @@ -69,7 +69,6 @@ class CI_Cache_redis extends CI_Driver */ protected $_redis; - /** * del()/delete() method name depending on phpRedis version * diff --git a/system/libraries/Session/drivers/Session_files_driver.php b/system/libraries/Session/drivers/Session_files_driver.php index 4b7b9878b..c912fc71d 100644 --- a/system/libraries/Session/drivers/Session_files_driver.php +++ b/system/libraries/Session/drivers/Session_files_driver.php @@ -35,7 +35,7 @@ * @link https://codeigniter.com * @since Version 3.0.0 * @filesource -*/ + */ defined('BASEPATH') OR exit('No direct script access allowed'); /** diff --git a/system/libraries/Xmlrpc.php b/system/libraries/Xmlrpc.php index 11d4400fe..ce39fceb2 100644 --- a/system/libraries/Xmlrpc.php +++ b/system/libraries/Xmlrpc.php @@ -1909,7 +1909,7 @@ class XML_RPC_Values extends CI_Xmlrpc * @param int unix timestamp * @param bool * @return string - */ + */ public function iso8601_encode($time, $utc = FALSE) { return ($utc) ? date('Ymd\TH:i:s', $time) : gmdate('Ymd\TH:i:s', $time); |