Manuel:DevelopmentSettings.php
Fichier MediaWiki : DevelopmentSettings.php | |
---|---|
Emplacement : | includes/ |
Code source : | master • 1.42.3 • 1.41.4 • 1.39.10 |
Classes : | Accès au code • Accès à la documentation |
Ce fichier contient des paramètres supplémentaires utiles pour le développement MediaWiki.
Pour activer les paramètres, ajoutez ceci à votre fichier LocalSettings.php
:
require "$IP/includes/DevelopmentSettings.php";
Ceci est disponible depuis MediaWiki 1.31 (tâche T177669).