<?php

namespace MediaWiki\Extension\AbuseFilter;

use RuntimeException;

class CentralDBNotAvailableException extends RuntimeException {
}