1	<?php
2
3	namespace MediaWiki\Extension\AbuseFilter\Parser\Exception;
4
5	/**
6	* Exceptions from the AbuseFilter parser that should not be reported to the user, because they indicate
7	* programming errors or unexpected situations.
8	*/
9	class InternalException extends ExceptionBase {
10	}