Completed
Push — master ( cdae52...7ab46a )
by Derek Stephen
75:44 queued 71:56
created
src/SessionManager.php 1 patch
Spacing   +4 added lines, -4 removed lines patch added patch discarded remove patch
@@ -8,9 +8,9 @@  discard block
 block discarded – undo
8 8
      *  As this is a singleton, construction and clone are disabled
9 9
      *  use SessionManager::getInstance() if you need the instance
10 10
      */
11
-    private function __construct(){}
11
+    private function __construct() {}
12 12
 
13
-    private function __clone(){}
13
+    private function __clone() {}
14 14
 
15 15
     /**
16 16
      * @return SessionManager|null
@@ -47,7 +47,7 @@  discard block
 block discarded – undo
47 47
         session_set_cookie_params($lifetime, $path, $domain, $secure, true);
48 48
 
49 49
         $id = session_id();
50
-        if(empty($id)) {
50
+        if (empty($id)) {
51 51
             session_start();
52 52
         }
53 53
 
@@ -152,7 +152,7 @@  discard block
 block discarded – undo
152 152
     public static function destroySession()
153 153
     {
154 154
         $id = session_id();
155
-        if(!empty($id)) {
155
+        if (!empty($id)) {
156 156
             $_SESSION = array();
157 157
             session_destroy();
158 158
             session_start();
Please login to merge, or discard this patch.