MediaWiki  master
SessionOverflowException.php
Go to the documentation of this file.
1 <?php
2 
3 namespace MediaWiki\Session;
4 
11 class SessionOverflowException extends \OverflowException {
13  private $sessionInfos;
14 
20  function __construct( array $sessionInfos, $msg ) {
21  if ( count( $sessionInfos ) < 2 ) {
22  throw new \InvalidArgumentException( 'Expected at least two SessionInfo objects.' );
23  }
24  parent::__construct( $msg );
25  $this->sessionInfos = $sessionInfos;
26  }
27 
31  public function getSessionInfos() : array {
32  return $this->sessionInfos;
33  }
34 }
OverflowException specific to the SessionManager, used when the request had multiple possible session...