Merge "Use MediaWiki\SuppressWarnings around trigger_error('') instead @"
[lhc/web/wiklou.git] / includes / session /
drwxr-xr-x   ..
-rw-r--r-- 5347 BotPasswordSessionProvider.php
-rw-r--r-- 13554 CookieSessionProvider.php
-rw-r--r-- 4750 ImmutableSessionProviderWithCookie.php
-rw-r--r-- 1803 MetadataMergeException.php
-rw-r--r-- 10515 PHPSessionHandler.php
-rw-r--r-- 19367 Session.php
-rw-r--r-- 20690 SessionBackend.php
-rw-r--r-- 1757 SessionId.php
-rw-r--r-- 8293 SessionInfo.php
-rw-r--r-- 29611 SessionManager.php
-rw-r--r-- 3601 SessionManagerInterface.php
-rw-r--r-- 19945 SessionProvider.php
-rw-r--r-- 1490 SessionProviderInterface.php
-rw-r--r-- 3253 Token.php
-rw-r--r-- 4944 UserInfo.php