Merge "Set context on RedirectSpecialPage in MediaWiki.php"
[lhc/web/wiklou.git] / includes / session /
drwxr-xr-x   ..
-rw-r--r-- 5284 BotPasswordSessionProvider.php
-rw-r--r-- 12182 CookieSessionProvider.php
-rw-r--r-- 4920 ImmutableSessionProviderWithCookie.php
-rw-r--r-- 10291 PHPSessionHandler.php
-rw-r--r-- 10192 Session.php
-rw-r--r-- 19017 SessionBackend.php
-rw-r--r-- 1760 SessionId.php
-rw-r--r-- 7340 SessionInfo.php
-rw-r--r-- 32010 SessionManager.php
-rw-r--r-- 3179 SessionManagerInterface.php
-rw-r--r-- 18073 SessionProvider.php
-rw-r--r-- 1477 SessionProviderInterface.php
-rw-r--r-- 3251 Token.php
-rw-r--r-- 4944 UserInfo.php