MediaWiki
master
PhpIniSink.php
Go to the documentation of this file.
1
<?php
2
3
namespace
MediaWiki\Settings\Config
;
4
5
use Wikimedia\NormalizedException\NormalizedExceptionTrait;
6
12
class
PhpIniSink
{
13
use NormalizedExceptionTrait;
14
23
public
function
set
(
string
$option,
string
$value ): void {
24
$result = ini_set( $option, $value );
25
26
if
( $result ===
false
) {
27
$msg = $this->getMessageFromNormalizedMessage(
28
'Could not set option: {option} with value: {value} to PHP_INI config.'
,
29
[
30
'value'
=> $value,
31
'option'
=> $option,
32
]
33
);
34
trigger_error( $msg );
35
}
36
}
37
38
}
MediaWiki\Settings\Config\PhpIniSink
Settings sink for values to pass to ini_set.
Definition
PhpIniSink.php:12
MediaWiki\Settings\Config
Definition
ArrayConfigBuilder.php:3
includes
Settings
Config
PhpIniSink.php
Generated on Tue Dec 3 2024 15:25:33 for MediaWiki by
1.10.0