Manual:GetConfiguration.php/fr
Version de MediaWiki : | ≥ 1.23 |
Fichier MediaWiki : getConfiguration.php | |
---|---|
Emplacement : | maintenance/ |
Code source : | master • 1.44.0 • 1.43.3 • 1.39.13 |
Classes : | GetConfiguration |
Détails
Le fichier getConfiguration.php est un script de maintenance pour afficher la sortie sérialisée de variables de config MédiaWiki.
Options
Option | Description | Obligatoire | Par défaut |
---|---|---|---|
--regex | Regular expression to filter variables with | optionnel | |
--iregex | Same as --regex but case insensitive | optionnel | |
--settings | Space-separated list of wg* variables | optionnel | |
--format | Output format. Either json , php , serialize or vardump . | optionnel | php |
Utilisation
php maintenance/run.php getConfiguration [ --regex regex | --iregex regex | --settings list ] [ --format format ]
Dans la version MediaWiki 1.39.13 et antérieures, vous devez appeler les scripts de maintenance en utilisant
php maintenance/scriptName.php
au lieu de php maintenance/run.php scriptName
.With --settings
Terminal
$ php maintenance/run.php getConfiguration --format vardump --settings wgSessionProviders $wgSessionProviders = array(2) { ["MediaWiki\Session\CookieSessionProvider"]=> array(2) { ["class"]=> string(39) "MediaWiki\Session\CookieSessionProvider" ["args"]=> array(1) { [0]=> array(2) { ["priority"]=> int(30) ["callUserSetCookiesHook"]=> bool(true) } } } ["MediaWiki\Session\BotPasswordSessionProvider"]=> array(2) { ["class"]=> string(44) "MediaWiki\Session\BotPasswordSessionProvider" ["args"]=> array(1) { [0]=> array(1) { ["priority"]=> int(75) } } } };
With --regex
Terminal
{{#parsoid\0fragment:0}}
Use JSON_PARTIAL_OUTPUT_ON_ERROR (--json-partial-output-on-error) flag with
json_encode()
. This allows for partial response to be output in case of an exception while serializing to JSON. If an error occurs, the wgGetConfigurationJsonErrorOccurred
field is set in the output.Terminal
$ php maintenance/run.php getConfiguration --format json --json-partial-output-on-error
Voir aussi
- Manuel:Paramètres de configuration
- Manuel:Configuration pour les développeurs
- Config.php
- Extension registration#Configs (Your extension/skins settings)