MediaWiki
1.34.0
Filter.php
Go to the documentation of this file.
1
<?php
21
namespace
MediaWiki\Preferences
;
22
27
interface
Filter
{
32
public
function
filterForForm
( $value );
33
38
public
function
filterFromForm
( $value );
39
}
MediaWiki\Preferences\Filter\filterFromForm
filterFromForm( $value)
MediaWiki\Preferences
Definition:
DefaultPreferencesFactory.php:21
MediaWiki\Preferences\Filter\filterForForm
filterForForm( $value)
MediaWiki\Preferences\Filter
Base interface for user preference filters that work as a middleware between storage and interface.
Definition:
Filter.php:27
includes
preferences
Filter.php
Generated on Thu Dec 19 2019 14:54:43 for MediaWiki by
1.8.16