File: PhpIniSink.php

package info (click to toggle)
mediawiki 1%3A1.43.3%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 417,464 kB
  • sloc: php: 1,062,949; javascript: 664,290; sql: 9,714; python: 5,458; xml: 3,489; sh: 1,131; makefile: 64
file content (38 lines) | stat: -rw-r--r-- 794 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
<?php

namespace MediaWiki\Settings\Config;

use Wikimedia\NormalizedException\NormalizedExceptionTrait;

/**
 * Settings sink for values to pass to ini_set.
 *
 * @since 1.39
 */
class PhpIniSink {
	use NormalizedExceptionTrait;

	/**
	 * Sets a php runtime configuration value using ini_set().
	 * A PHP notice is triggered if setting the value fails.
	 *
	 * @param string $option
	 * @param string $value
	 * @return void
	 */
	public function set( string $option, string $value ): void {
		$result = ini_set( $option, $value );

		if ( $result === false ) {
			$msg = $this->getMessageFromNormalizedMessage(
				'Could not set option: {option} with value: {value} to PHP_INI config.',
				[
					'value' => $value,
					'option' => $option,
				]
			);
			trigger_error( $msg );
		}
	}

}