MediaWiki
master
ConfigBuilder.php
Go to the documentation of this file.
1
<?php
2
3
namespace
MediaWiki\Settings\Config
;
4
5
use
MediaWiki\Config\Config
;
6
use
MediaWiki\Settings\SettingsBuilderException
;
7
13
interface
ConfigBuilder
{
14
23
public
function
set
(
string
$key, $value, ?
MergeStrategy
$mergeStrategy = null ):
ConfigBuilder
;
24
32
public
function
setMulti
( array $values, array $mergeStrategies = [] ):
ConfigBuilder
;
33
46
public
function
setDefault
(
string
$key, $defaultValue, ?
MergeStrategy
$mergeStrategy =
null
):
ConfigBuilder
;
47
57
public
function
setMultiDefault
( array $defaults, array $mergeStrategies ):
ConfigBuilder
;
58
65
public
function
get
(
string
$key );
66
72
public
function
build
():
Config
;
73
}
MediaWiki\Settings\Config\MergeStrategy
Definition
MergeStrategy.php:8
MediaWiki\Settings\SettingsBuilderException
Definition
SettingsBuilderException.php:10
MediaWiki\Config\Config
Interface for configuration instances.
Definition
Config.php:32
MediaWiki\Settings\Config\ConfigBuilder
Builder for Config objects.
Definition
ConfigBuilder.php:13
MediaWiki\Settings\Config\ConfigBuilder\setMulti
setMulti(array $values, array $mergeStrategies=[])
Set all values in the array.
MediaWiki\Settings\Config\ConfigBuilder\build
build()
Build the resulting Config object.
MediaWiki\Settings\Config\ConfigBuilder\setDefault
setDefault(string $key, $defaultValue, ?MergeStrategy $mergeStrategy=null)
Set the default for the configuration $key to $defaultValue.
MediaWiki\Settings\Config\ConfigBuilder\setMultiDefault
setMultiDefault(array $defaults, array $mergeStrategies)
Set defaults in a batch.
MediaWiki\Settings\Config
Definition
ArrayConfigBuilder.php:3
includes
Settings
Config
ConfigBuilder.php
Generated on Sat Dec 21 2024 11:25:34 for MediaWiki by
1.10.0