From 11698562173d3b87ef0b089505c28774acfd4c2d Mon Sep 17 00:00:00 2001
From: Marco <marco1@live.de>
Date: Wed, 18 Oct 2017 22:47:24 +0200
Subject: [PATCH] Improve code style

---
 src/Auth.php | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/Auth.php b/src/Auth.php
index 68841b9..a7983bc 100644
--- a/src/Auth.php
+++ b/src/Auth.php
@@ -503,13 +503,16 @@ final class Auth extends UserManager {
 		$params = $this->createCookieSettings();
 
 		// cause the session cookie to be deleted
-		$cookie = new Cookie(session_name());
+		$cookie = new Cookie(\session_name());
+
 		if (!empty($params['path'])) {
 			$cookie->setPath($params['path']);
 		}
+
 		if (!empty($params['domain'])) {
 			$cookie->setDomain($params['domain']);
 		}
+
 		$cookie->setHttpOnly($params['httponly']);
 		$cookie->setSecureOnly($params['secure']);