]> scripts.mit.edu Git - autoinstalls/mediawiki.git/tree - includes/session/
MediaWiki 1.30.2-scripts2
[autoinstalls/mediawiki.git] / includes / session /
drwxr-xr-x   ..
-rw-r--r-- 5347 BotPasswordSessionProvider.php
-rw-r--r-- 13549 CookieSessionProvider.php
-rw-r--r-- 4858 ImmutableSessionProviderWithCookie.php
-rw-r--r-- 1803 MetadataMergeException.php
-rw-r--r-- 11572 PHPSessionHandler.php
-rw-r--r-- 19213 Session.php
-rw-r--r-- 20707 SessionBackend.php
-rw-r--r-- 1757 SessionId.php
-rw-r--r-- 8291 SessionInfo.php
-rw-r--r-- 29611 SessionManager.php
-rw-r--r-- 3601 SessionManagerInterface.php
-rw-r--r-- 19944 SessionProvider.php
-rw-r--r-- 1477 SessionProviderInterface.php
-rw-r--r-- 3253 Token.php
-rw-r--r-- 4944 UserInfo.php
lrwxrwxrwx 13 php.ini -> ../../php.ini