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: Aug 16 2026, 23:01 (11 w, 5 d ago)
Storage Engine: local-disk
Storage Format: Raw Data
Storage Handle: 03/4d/8f503fdfde54e50d6af975e91e7a
Default Alt Text: FilterVersionNotFoundException.php (329 B)

Event Timeline