Update wcfsetup/install/files/lib/system/session/SessionHandler.class.php

Co-authored-by: Alexander Ebert <ebert@woltlab.com>

diff --git a/wcfsetup/install/files/lib/system/session/SessionHandler.class.php b/wcfsetup/install/files/lib/system/session/SessionHandler.class.php
index 2d3078981ad67aea0a35aa80c8f3dcf0c2e99eae..bb8039e07892ea756742ba792f877dcde9091753 100644 (file)
--- a/wcfsetup/install/files/lib/system/session/SessionHandler.class.php
+++ b/wcfsetup/install/files/lib/system/session/SessionHandler.class.php
@@ -38,7 +38,7 @@ use wcf\util\UserUtil;
  * @property-read   int|null $pageObjectID       id of the object the latest page visited belongs to
  * @property-read   int|null $parentPageID       id of the parent page of latest page visited
  * @property-read   int|null $parentPageObjectID id of the object the parent page of latest page visited belongs to
- * @property-read   int $spiderIdentifier       identifier of the spider
+ * @property-read   ?string $spiderIdentifier       identifier of the spider
  */
 final class SessionHandler extends SingletonFactory
 {