MediaWiki
master
IntvalFilter.php
Go to the documentation of this file.
1
<?php
7
namespace
MediaWiki\Preferences
;
8
9
class
IntvalFilter
implements
Filter
{
10
14
public
function
filterForForm
( $value ) {
15
return
$value;
16
}
17
21
public
function
filterFromForm
( $value ) {
22
return
intval( $value );
23
}
24
}
MediaWiki\Preferences\IntvalFilter
Definition
IntvalFilter.php:9
MediaWiki\Preferences\IntvalFilter\filterFromForm
filterFromForm( $value)
mixed
Definition
IntvalFilter.php:21
MediaWiki\Preferences\IntvalFilter\filterForForm
filterForForm( $value)
mixed
Definition
IntvalFilter.php:14
MediaWiki\Preferences\Filter
Base interface for user preference filters that work as a middleware between storage and interface.
Definition
Filter.php:13
MediaWiki\Preferences
Definition
DefaultPreferencesFactory.php:7
includes
Preferences
IntvalFilter.php
Generated on Sat Jan 24 2026 02:26:18 for MediaWiki by
1.10.0