diff options
author | Andrey Andreev <narf@devilix.net> | 2015-01-22 10:15:01 +0100 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2015-01-22 10:15:01 +0100 |
commit | 21898a45f323bb74ef6e5ee8cf21c3397467665b (patch) | |
tree | d373ff858e9620c08a790d578d8ff07b745a31fe /system/libraries/Session/SessionHandlerInterface.php | |
parent | 4a183078d782016cd1aaa74cb1762718638609b8 (diff) | |
parent | 93d98b611051bf123532a0d30ebe97480ae4a3b4 (diff) |
Merge pull request #3490 from vlakoff/file_endings
[ci skip] Remove closing blocks at end of PHP files
Diffstat (limited to 'system/libraries/Session/SessionHandlerInterface.php')
-rw-r--r-- | system/libraries/Session/SessionHandlerInterface.php | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/system/libraries/Session/SessionHandlerInterface.php b/system/libraries/Session/SessionHandlerInterface.php index 2050e1e4d..9dab5ac07 100644 --- a/system/libraries/Session/SessionHandlerInterface.php +++ b/system/libraries/Session/SessionHandlerInterface.php @@ -57,6 +57,3 @@ interface SessionHandlerInterface { public function destroy($session_id); public function gc($maxlifetime); } - -/* End of file SessionHandlerInterface.php */ -/* Location: ./system/libraries/Session/SessionHandlerInterface.php */
\ No newline at end of file |