MediaWiki master
|
Inherits MediaWiki\Preferences\Filter.
Public Member Functions | ||||
__construct (?TitleFactory $titleFactory=null, ?PageStore $pageStore=null, ?TitleFormatter $titleFormatter=null) | ||||
filterForForm ( $value) | ||||
| ||||
filterFromForm ( $titles) | ||||
| ||||
Definition at line 29 of file MultiTitleFilter.php.
MediaWiki\Preferences\MultiTitleFilter::__construct | ( | ?TitleFactory | $titleFactory = null, |
?PageStore | $pageStore = null, | ||
?TitleFormatter | $titleFormatter = null ) |
TitleFactory | null | $titleFactory | unused |
PageStore | null | $pageStore | |
TitleFormatter | null | $titleFormatter |
Definition at line 46 of file MultiTitleFilter.php.
MediaWiki\Preferences\MultiTitleFilter::filterForForm | ( | $value | ) |
mixed | $value |
Implements MediaWiki\Preferences\Filter.
Definition at line 55 of file MultiTitleFilter.php.
MediaWiki\Preferences\MultiTitleFilter::filterFromForm | ( | $titles | ) |
mixed | $value |
Implements MediaWiki\Preferences\Filter.
Definition at line 70 of file MultiTitleFilter.php.
References MediaWiki\Page\ProperPageIdentity\getId().