@@ -8,9 +8,9 @@ discard block  | 
                                                    ||
| 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  | 
                                                    ||
| 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  | 
                                                    ||
| 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();  |