MediaWiki master
PhpIniSink.php
Go to the documentation of this file.
1<?php
2
4
5use Wikimedia\NormalizedException\NormalizedExceptionTrait;
6
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}
Settings sink for values to pass to ini_set.