Translations:Manual:AdminSettings.php/3/fr

Avant MediaWiki 1.16, $AdminSettings était utilisé pour enregistrer les paramètres d'autentification de la base de données pour les scripts de maintenance et pour contrôler la disponibilité de $profileinfo.