MediaWiki  master
PhpIniSink.php
Go to the documentation of this file.
1 <?php
2 
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 }
Settings sink for values to pass to ini_set.
Definition: PhpIniSink.php:12