MediaWiki
master
ConfigSchema.php
Go to the documentation of this file.
1
<?php
2
namespace
MediaWiki\Settings\Config
;
3
4
use
MediaWiki\Settings\SettingsBuilderException
;
5
11
interface
ConfigSchema
{
12
18
public
function
getDefinedKeys
(): array;
19
27
public
function
hasSchemaFor
(
string
$key ): bool;
28
35
public
function
getDefaults
(): array;
36
43
public
function
getDynamicDefaults
(): array;
44
52
public
function
hasDefaultFor
(
string
$key ): bool;
53
62
public
function
getDefaultFor
(
string
$key );
63
72
public
function
getMergeStrategyFor
(
string
$key ): ?
MergeStrategy
;
73
}
MediaWiki\Settings\Config\MergeStrategy
Definition
MergeStrategy.php:8
MediaWiki\Settings\SettingsBuilderException
Definition
SettingsBuilderException.php:10
MediaWiki\Settings\Config\ConfigSchema
Represents a config schema.
Definition
ConfigSchema.php:11
MediaWiki\Settings\Config\ConfigSchema\getMergeStrategyFor
getMergeStrategyFor(string $key)
Get the merge strategy defined for the $key, or null if none defined.
MediaWiki\Settings\Config\ConfigSchema\hasDefaultFor
hasDefaultFor(string $key)
Check if the $key has a default value set in the schema.
MediaWiki\Settings\Config\ConfigSchema\hasSchemaFor
hasSchemaFor(string $key)
Check whether schema for $key is defined.
MediaWiki\Settings\Config\ConfigSchema\getDynamicDefaults
getDynamicDefaults()
Get all dynamic default declarations.
MediaWiki\Settings\Config\ConfigSchema\getDefaults
getDefaults()
Get all defined default values.
MediaWiki\Settings\Config\ConfigSchema\getDefinedKeys
getDefinedKeys()
Get a list of all defined keys.
MediaWiki\Settings\Config\ConfigSchema\getDefaultFor
getDefaultFor(string $key)
Get the default value for the $key.
MediaWiki\Settings\Config
Definition
ArrayConfigBuilder.php:3
includes
Settings
Config
ConfigSchema.php
Generated on Tue Oct 15 2024 02:25:24 for MediaWiki by
1.10.0