Manuel:Setup.php

Fichier MediaWiki : Setup.php
Emplacement :	includes/
Code source :	master • 1.42.3 • 1.41.4 • 1.39.10
Classes :	Accès au code • Accès à la documentation

Détails

Le fichier Setup.php est inclus dans WebStart.php , si la constante MW_NO_SETUP n'est pas définie. Il doit être inclus après LocalSettings.php .

Actions prises

Il réalise les fonctions suivantes:

1. D'abord il modifie certains paramètres de configuration tels que les variables des chemins qui ne sont pas personnalisées dans LocalSettings.php de sorte qu'elles n'ont plus besoin d'être modifiées si $wgScriptPath est mis à jour, ou s'il modifie de nouveaux paramètres de configuration à partir des précédents compatibles.
2. Ensuite il inclut quelques fichiers communs utilisés.
3. Il ouvre la session PHP si le cookie de session ou celui du jeton de l'utilisateur son présents.
4. Il crée les objets bouchons pour les variables d'objets globaux; ceux-ci seront remplacés au premier appel de l'une de leurs méthodes.
5. Il exécute toutes les fonctions de $wgExtensionFunctions .
6. Et appelle certaines accroches obsolètes pour la compatibilité arrière : LogPageValidTypes , LogPageLogName , LogPageLogHeader et LogPageActionText .

Voir aussi

• Code
• Manual:WebStart.php