Code Coverage |
||||||||||
Lines |
Functions and Methods |
Classes and Traits |
||||||||
| Total | |
0.00% |
0 / 1 |
|
0.00% |
0 / 1 |
CRAP | |
0.00% |
0 / 1 |
| CentralUserNotFoundException | |
0.00% |
0 / 1 |
|
0.00% |
0 / 1 |
2 | |
0.00% |
0 / 1 |
| __construct | |
0.00% |
0 / 1 |
|
0.00% |
0 / 1 |
2 | |||
| 1 | <?php |
| 2 | |
| 3 | declare( strict_types=1 ); |
| 4 | |
| 5 | namespace MediaWiki\Extension\CampaignEvents\MWEntity; |
| 6 | |
| 7 | use RuntimeException; |
| 8 | |
| 9 | /** |
| 10 | * This exception is thrown when there's no global user corresponding to the given user ID. |
| 11 | */ |
| 12 | class CentralUserNotFoundException extends RuntimeException { |
| 13 | /** |
| 14 | * @param int $centralID |
| 15 | */ |
| 16 | public function __construct( int $centralID ) { |
| 17 | parent::__construct( "Central ID $centralID does not belong to any user" ); |
| 18 | } |
| 19 | } |