Jump to content

Manuel:DefaultSettings.php

From mediawiki.org
This page is a translated version of the page Manual:DefaultSettings.php and the translation is 100% complete.

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