Manuel:Setup.php
| Fichier MediaWiki : Setup.php | |
|---|---|
| Emplacement : | includes/ |
| Code source : | master • 1.41.1 • 1.40.3 • 1.39.7 |
| 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:
- 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.
- Ensuite il inclut quelques fichiers communs utilisés.
- Il ouvre la session PHP si le cookie de session ou celui du jeton de l'utilisateur son présents.
- 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.
- Il exécute toutes les fonctions de $wgExtensionFunctions.
- Et appelle certaines accroches obsolètes pour la compatibilité arrière : LogPageValidTypes, LogPageLogName, LogPageLogHeader et LogPageActionText.