MediaWiki REL1_39
|
Adapter for PHP's session handling. More...
Public Member Functions | |
close () | |
Close the session (handler) | |
destroy ( $id) | |
Destroy a session. | |
gc ( $maxlifetime) | |
Execute garbage collection. | |
open ( $save_path, $session_name) | |
Initialize the session (handler) | |
read ( $id) | |
Read session data. | |
setManager (SessionManagerInterface $manager, BagOStuff $store, LoggerInterface $logger) | |
Set the manager, store, and logger. | |
write ( $id, $dataStr) | |
Write session data. | |
Static Public Member Functions | |
static | install (SessionManager $manager) |
Install a session handler for the current web request. | |
static | isEnabled () |
Test whether the handler is installed and enabled. | |
static | isInstalled () |
Test whether the handler is installed. | |
Protected Member Functions | |
__construct (SessionManager $manager) | |
Protected Attributes | |
bool | $enable = false |
Whether PHP session handling is enabled. | |
LoggerInterface | $logger |
SessionManagerInterface null | $manager |
array | $sessionFieldCache = [] |
Track original session fields for later modification check. | |
BagOStuff null | $store |
bool | $warn = true |
Static Protected Attributes | |
static PHPSessionHandler | $instance = null |
|
protected |
Definition at line 60 of file PHPSessionHandler.php.
References MediaWiki\Session\PHPSessionHandler\$manager, MediaWiki\MediaWikiServices\getInstance(), and MediaWiki\MainConfigNames\PHPSessionHandling.
MediaWiki\Session\PHPSessionHandler::close | ( | ) |
Close the session (handler)
Definition at line 203 of file PHPSessionHandler.php.
MediaWiki\Session\PHPSessionHandler::destroy | ( | $id | ) |
Destroy a session.
string | $id | Session id |
Definition at line 354 of file PHPSessionHandler.php.
MediaWiki\Session\PHPSessionHandler::gc | ( | $maxlifetime | ) |
Execute garbage collection.
int | $maxlifetime | Maximum session life time (ignored) |
Definition at line 376 of file PHPSessionHandler.php.
|
static |
Install a session handler for the current web request.
SessionManager | $manager |
Definition at line 114 of file PHPSessionHandler.php.
References MediaWiki\Session\PHPSessionHandler\$manager.
|
static |
Test whether the handler is installed and enabled.
Definition at line 106 of file PHPSessionHandler.php.
Referenced by MediaWiki\Session\SessionBackend\resetId(), and MediaWiki\Session\SessionBackend\unpersist().
|
static |
Test whether the handler is installed.
Definition at line 98 of file PHPSessionHandler.php.
References MediaWiki\Session\PHPSessionHandler\$instance.
MediaWiki\Session\PHPSessionHandler::open | ( | $save_path, | |
$session_name ) |
Initialize the session (handler)
string | $save_path | Path used to store session files (ignored) |
string | $session_name | Session name (ignored) |
Definition at line 187 of file PHPSessionHandler.php.
MediaWiki\Session\PHPSessionHandler::read | ( | $id | ) |
Read session data.
string | $id | Session id |
Definition at line 218 of file PHPSessionHandler.php.
MediaWiki\Session\PHPSessionHandler::setManager | ( | SessionManagerInterface | $manager, |
BagOStuff | $store, | ||
LoggerInterface | $logger ) |
Set the manager, store, and logger.
SessionManagerInterface | $manager | |
BagOStuff | $store | |
LoggerInterface | $logger |
Definition at line 164 of file PHPSessionHandler.php.
References MediaWiki\Session\PHPSessionHandler\$logger, MediaWiki\Session\PHPSessionHandler\$manager, and MediaWiki\Session\PHPSessionHandler\$store.
Referenced by MediaWiki\Session\SessionManager\setupPHPSessionHandler().
MediaWiki\Session\PHPSessionHandler::write | ( | $id, | |
$dataStr ) |
Write session data.
string | $id | Session id |
string | $dataStr | Session data. Not that you should ever call this directly, but note that this has the same issues with code injection via user-controlled data as does PHP's unserialize function. |
Definition at line 247 of file PHPSessionHandler.php.
References $cache, and wfDeprecated().
|
protected |
Whether PHP session handling is enabled.
Definition at line 43 of file PHPSessionHandler.php.
|
staticprotected |
Definition at line 40 of file PHPSessionHandler.php.
Referenced by MediaWiki\Session\PHPSessionHandler\isInstalled().
|
protected |
Definition at line 55 of file PHPSessionHandler.php.
Referenced by MediaWiki\Session\PHPSessionHandler\setManager().
|
protected |
Definition at line 49 of file PHPSessionHandler.php.
Referenced by MediaWiki\Session\PHPSessionHandler\__construct(), MediaWiki\Session\PHPSessionHandler\install(), and MediaWiki\Session\PHPSessionHandler\setManager().
|
protected |
Track original session fields for later modification check.
Definition at line 58 of file PHPSessionHandler.php.
|
protected |
Definition at line 52 of file PHPSessionHandler.php.
Referenced by MediaWiki\Session\PHPSessionHandler\setManager().
|
protected |
Definition at line 46 of file PHPSessionHandler.php.