X-Git-Url: https://git.heureux-cyclage.org/?a=blobdiff_plain;f=includes%2Fsession%2FSessionManager.php;h=85f4569e81fea8ae057d845756f218b6656c5a2e;hb=369c60f133a5ea36c2a96ee1a276ee43e40c7194;hp=3810565bcb8453e6f145ece1186db637043f3823;hpb=d15ac3bd518c1e270cbd8c4f878840ad05281a4c;p=lhc%2Fweb%2Fwiklou.git

diff --git a/includes/session/SessionManager.php b/includes/session/SessionManager.php
index 3810565bcb..85f4569e81 100644
--- a/includes/session/SessionManager.php
+++ b/includes/session/SessionManager.php
@@ -410,6 +410,7 @@ final class SessionManager implements SessionManagerInterface {
 				$provider->setConfig( $this->config );
 				$provider->setManager( $this );
 				if ( isset( $this->sessionProviders[(string)$provider] ) ) {
+					// @phan-suppress-next-line PhanTypeSuspiciousStringExpression
 					throw new \UnexpectedValueException( "Duplicate provider name \"$provider\"" );
 				}
 				$this->sessionProviders[(string)$provider] = $provider;
@@ -939,6 +940,6 @@ final class SessionManager implements SessionManagerInterface {
 		self::$globalSessionRequest = null;
 	}
 
-	/**@}*/
+	/** @} */
 
 }