Code Coverage for /workspace/src/extensions/AbuseFilter/includes/Filter/ExistingFilter.php

1	<?php
2
3	namespace MediaWiki\Extension\AbuseFilter\Filter;
4
5	/**
6	* Variant of Filter for filters that are known to exist
7	*/
8	class ExistingFilter extends Filter {
9	/**
10	* @param Specs $specs
11	* @param Flags $flags
12	* @param array[]\|callable():array[] $actions Array with params or callable that will return them
13	* @param LastEditInfo $lastEditInfo
14	* @param int $id
15	* @param int\|null $hitCount
16	* @param bool\|null $throttled
17	*/
18	public function __construct(
19	Specs $specs,
20	Flags $flags,
21	$actions,
22	LastEditInfo $lastEditInfo,
23	int $id,
24	?int $hitCount = null,
25	?bool $throttled = null
26	) {
27	parent::__construct( $specs, $flags, $actions, $lastEditInfo, $id, $hitCount, $throttled );
28	}
29
30	public function getID(): int {
31	return $this->id;
32	}
33	}