Code Coverage for /workspace/src/extensions/CampaignEvents/src/MWEntity/UserNotGlobalException.php

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 a local account does not correspond to any global account.
11	*/
12	class UserNotGlobalException extends RuntimeException {
13	/**
14	* @param int $localID
15	*/
16	public function __construct( int $localID ) {
17	parent::__construct( "User with local ID $localID does not have a global account." );
18	}
19	}