Manuel:DefaultSettings.php
Appearance
Fichier MediaWiki : DefaultSettings.php | |
---|---|
Emplacement : | includes/ |
Code source : | master • 1.42.3 • 1.41.4 • 1.39.10 |
Classes : | Accès au code • Accès à la documentation |
DefaultSettings.php est un bouchon obsolète qui dans les versions antérieures contenait les
paramètres de configuration.
Currently default settings are stored in MainConfigSchema.php .
DefaultSettings.php
ne doit jamais être modifié car les modifications apportées à ce dernier seront perdues à chaque mise à jour de MediaWiki. Les modifications doivent plutôt être faites dans LocalSettings.php
.À partir de MediaWiki 1.38, l'inclusion de DefaultSettings.php
dans votre LocalSettings.php
entraînera l'erreur décrite dans T311966 :
PHP Fatal error: Uncaught FatalError: $wgBaseDirectory must not be modified in settings files! Use the MW_INSTALL_PATH environment variable to override the installation root directory. in /var/www/html/w/includes/Setup.php:237 Stack trace: #0 /var/www/html/w/maintenance/doMaintenance.php(96): require_once() #1 /var/www/html/w/maintenance/update.php(264): require_once('/var/www/html/w...') #2 {main} thrown in /var/www/html/w/includes/Setup.php on line 237 Fatal error: Uncaught FatalError: $wgBaseDirectory must not be modified in settings files! Use the MW_INSTALL_PATH environment variable to override the installation root directory. in /var/www/html/w/includes/Setup.php:237 Stack trace: #0 /var/www/html/w/maintenance/doMaintenance.php(96): require_once() #1 /var/www/html/w/maintenance/update.php(264): require_once('/var/www/html/w...') #2 {main} thrown in /var/www/html/w/includes/Setup.php on line 237