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

diff --git a/includes/session/SessionManager.php b/includes/session/SessionManager.php
index c635b97141..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;