ClosestFilterVersionNotFoundException.php
No OneTemporary
Actions

Size

400 B

Referenced Files

None

Subscribers

None

ClosestFilterVersionNotFoundException.php
View Options

	<?php

	namespace MediaWiki\Extension\AbuseFilter\Filter;

	use RuntimeException;

	/**
	* @codeCoverageIgnore
	*/
	class ClosestFilterVersionNotFoundException extends RuntimeException {
	/**
	* @param int $filterID
	* @param int $historyID
	*/
	public function __construct( int $filterID, int $historyID ) {
	parent::__construct( "No version of filter $filterID closest to $historyID found" );
	}
	}

File Metadata

Mime Type: text/x-php
Expires: Sat, Oct 3, 14:38 (15 m, 34 s)
Storage Engine: local-disk
Storage Format: Raw Data
Storage Handle: b1/aa/ada3e3f5d08166c71082c9cf1664
Default Alt Text: ClosestFilterVersionNotFoundException.php (400 B)

Event Timeline