Manual:DefaultSettings.php

From Linux Web Expert

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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