FilterVersionNotFoundException.php
No OneTemporary
Actions

Size

329 B

Referenced Files

None

Subscribers

None

FilterVersionNotFoundException.php
View Options

	<?php

	namespace MediaWiki\Extension\AbuseFilter\Filter;

	use RuntimeException;

	/**
	* @codeCoverageIgnore
	*/
	class FilterVersionNotFoundException extends RuntimeException {
	/**
	* @param int $version
	*/
	public function __construct( int $version ) {
	parent::__construct( "Filter version $version does not exist" );
	}
	}

File Metadata

Mime Type: text/x-php
Expires: Fri, Jul 3, 20:27 (1 d, 14 h)
Storage Engine: local-disk
Storage Format: Raw Data
Storage Handle: 33/18/efa0effcea9d136da44be3827eb1
Default Alt Text: FilterVersionNotFoundException.php (329 B)

Event Timeline