diff options
| author | Brad Jorsch <bjorsch@wikimedia.org> | 2016-02-26 15:02:56 -0500 |
|---|---|---|
| committer | BryanDavis <bdavis@wikimedia.org> | 2016-02-26 20:14:27 +0000 |
| commit | e75f2ab0f2d430015775e8c7fecc4f58aabeb974 (patch) | |
| tree | 491659fb4800ee0aab5ba2dd8188267776df6b37 /includes/session/PHPSessionHandler.php | |
| parent | 9fd930f74592234f95f83c0c831339e5b49553e7 (diff) | |
| download | mediawikicore-e75f2ab0f2d430015775e8c7fecc4f58aabeb974.tar.gz mediawikicore-e75f2ab0f2d430015775e8c7fecc4f58aabeb974.zip | |
Improve SessionManager unit test coverage, and fix two namespacing bugs
Change-Id: Ie0bcba77625e04ca3e89eb400626f63024c6e1a1
Diffstat (limited to 'includes/session/PHPSessionHandler.php')
| -rw-r--r-- | includes/session/PHPSessionHandler.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/includes/session/PHPSessionHandler.php b/includes/session/PHPSessionHandler.php index 863080945607..695ce5a92a7b 100644 --- a/includes/session/PHPSessionHandler.php +++ b/includes/session/PHPSessionHandler.php @@ -111,9 +111,11 @@ class PHPSessionHandler implements \SessionHandlerInterface { return; } + // @codeCoverageIgnoreStart if ( defined( 'MW_NO_SESSION_HANDLER' ) ) { throw new \BadMethodCallException( 'MW_NO_SESSION_HANDLER is defined' ); } + // @codeCoverageIgnoreEnd self::$instance = new self( $manager ); |