Passed
Push — session ( 40b06a )
by Fabio
25:12 queued 16:27
created
framework/Web/THttpSessionHandler.php 1 patch
Spacing   +2 added lines, -2 removed lines patch added patch discarded remove patch
@@ -64,7 +64,7 @@  discard block
 block discarded – undo
64 64
 	 * @param int $max_lifetime the number of seconds after which data will be seen as 'garbage' and cleaned up.
65 65
 	 * @return bool whether session is GCed successfully
66 66
 	 */
67
-	public function gc(int $max_lifetime): int|false {
67
+	public function gc(int $max_lifetime): int | false {
68 68
 		return $this->_session->_gc($max_lifetime);
69 69
 	}
70 70
 
@@ -83,7 +83,7 @@  discard block
 block discarded – undo
83 83
 	 * @param string $id session ID
84 84
 	 * @return string|false the session data
85 85
 	 */
86
-	public function read(string $id): string|false {
86
+	public function read(string $id): string | false {
87 87
 		return $this->_session->_read($id);
88 88
 	}
89 89
 
Please login to merge, or discard this patch.