Manual: Setup.php
| Ficheiro do MediaWiki: Setup.php | |
|---|---|
| Localização: | includes/ |
| Código fonte: | master • 1.46.0 • 1.45.4 • 1.43.9 |
| Classes: | Encontrar código • Encontrar documentação |
Detalhes
O ficheiro Setup.php está incluído a partir de WebStart.php, desde que a constante fornecida MW_NO_SETUP não esteja definida.
It must be included after LocalSettings.php.
Ações realizadas
Este faz o seguinte:
- First it changes some configuration settings such as paths variables that aren't customized in
LocalSettings.phpso that they don't need to be modified if $wgScriptPath is changed or it updates new configuration settings from the backward compatible ones. - Next it includes some commonly used files.
- It starts the PHP session if the session cookie or the user token cookie are present.
- It creates stub objects for global object variables, those globals will be unstubbed at the first call of one of their method.
- It runs all functions in $wgExtensionFunctions.