Manuel:DevelopmentSettings.php

Fichier MediaWiki : DevelopmentSettings.php
Emplacement :	includes/
Code source :	master • 1.41.1 • 1.40.3 • 1.39.7
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";