1	<?php
2
3	namespace MediaWiki\Extension\AbuseFilter;
4
5	use RuntimeException;
6
7	class CentralDBNotAvailableException extends RuntimeException {
8	}