MediaWiki
master
ChangesListStringOptionsFilter.php
Go to the documentation of this file.
1
<?php
2
3
use
MediaWiki\Html\FormOptions
;
4
12
class
ChangesListStringOptionsFilter
extends
ChangesListFilter
{
16
public
function
displaysOnUnstructuredUi
() {
17
return
false
;
18
}
19
23
public
function
isSelected
(
FormOptions
$opts ) {
24
$option = $opts[ $this->
getGroup
()->getName() ];
25
if
( $option === ChangesListStringOptionsFilterGroup::ALL ) {
26
return
true
;
27
}
28
29
$values = explode( ChangesListStringOptionsFilterGroup::SEPARATOR, $option );
30
return
in_array( $this->
getName
(), $values );
31
}
32
}
ChangesListFilter
Represents a filter (used on ChangesListSpecialPage and descendants)
Definition
ChangesListFilter.php:32
ChangesListFilter\getGroup
getGroup()
Definition
ChangesListFilter.php:278
ChangesListFilter\getName
getName()
Definition
ChangesListFilter.php:271
ChangesListStringOptionsFilter
An individual filter in a ChangesListStringOptionsFilterGroup.
Definition
ChangesListStringOptionsFilter.php:12
ChangesListStringOptionsFilter\displaysOnUnstructuredUi
displaysOnUnstructuredUi()
Checks whether the filter should display on the unstructured UI.bool Whether to display
Definition
ChangesListStringOptionsFilter.php:16
ChangesListStringOptionsFilter\isSelected
isSelected(FormOptions $opts)
Checks whether this filter is selected in the provided options.bool
Definition
ChangesListStringOptionsFilter.php:23
MediaWiki\Html\FormOptions
Helper class to keep track of options when mixing links and form elements.
Definition
FormOptions.php:42
includes
changes
ChangesListStringOptionsFilter.php
Generated on Fri Apr 26 2024 13:22:35 for MediaWiki by
1.10.0