|
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 15 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 32 of file MultiTitleFilter.php.
| MediaWiki\Preferences\MultiTitleFilter::filterForForm | ( | $value | ) |
| mixed | $value |
Implements MediaWiki\Preferences\Filter.
Definition at line 41 of file MultiTitleFilter.php.
| MediaWiki\Preferences\MultiTitleFilter::filterFromForm | ( | $titles | ) |
| mixed | $value |
Implements MediaWiki\Preferences\Filter.
Definition at line 56 of file MultiTitleFilter.php.
References MediaWiki\Page\ProperPageIdentity\getId().