From 7be05ddde2100a06c71b14a85bc32f48776298df Mon Sep 17 00:00:00 2001
From: Marco <marco@delight.im>
Date: Sat, 24 Mar 2018 17:44:42 +0100
Subject: [PATCH] Improve documentation

---
 src/Auth.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Auth.php b/src/Auth.php
index 6b1e7c6..1e93b3c 100644
--- a/src/Auth.php
+++ b/src/Auth.php
@@ -146,6 +146,7 @@ final class Auth extends UserManager {
 	private function resyncSessionIfNecessary() {
 		// if the user is signed in
 		if ($this->isLoggedIn()) {
+			// the session field may not have been initialized for sessions that had already existed before the introduction of this feature
 			if (!isset($_SESSION[self::SESSION_FIELD_LAST_RESYNC])) {
 				$_SESSION[self::SESSION_FIELD_LAST_RESYNC] = 0;
 			}