1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
<?php
namespace MediaWiki\Session;
use InvalidArgumentException;
/**
* OverflowException specific to the SessionManager, used when the request had multiple possible
* sessions tied for top priority.
*
* @since 1.34
*/
class SessionOverflowException extends \OverflowException {
/** @var SessionInfo[] */
private $sessionInfos;
/**
* @param SessionInfo[] $sessionInfos Must have at least two elements
* @param string $msg
* @throws \InvalidArgumentException If $sessionInfos has less than 2 elements
*/
public function __construct( array $sessionInfos, $msg ) {
if ( count( $sessionInfos ) < 2 ) {
throw new InvalidArgumentException( 'Expected at least two SessionInfo objects.' );
}
parent::__construct( $msg );
$this->sessionInfos = $sessionInfos;
}
/**
* @return SessionInfo[]
*/
public function getSessionInfos(): array {
return $this->sessionInfos;
}
}
|
