Completed
Push — master ( 0f7cba...fe33ea )
by Derek Stephen
15:02 queued 04:53
created
src/SessionManager.php 1 patch
Spacing   +2 added lines, -2 removed lines patch added patch discarded remove patch
@@ -28,7 +28,7 @@  discard block
 block discarded – undo
28 28
         session_set_cookie_params($lifetime, $path, $domain, $secure, true);
29 29
 
30 30
         $id = session_id();
31
-        if(empty($id)) {
31
+        if (empty($id)) {
32 32
             session_start();
33 33
         }
34 34
 
@@ -133,7 +133,7 @@  discard block
 block discarded – undo
133 133
     public static function destroySession()
134 134
     {
135 135
         $id = session_id();
136
-        if(!empty($id)) {
136
+        if (!empty($id)) {
137 137
             $_SESSION = array();
138 138
             session_destroy();
139 139
             session_start();
Please login to merge, or discard this patch.