手册:Setup.php
From mediawiki.org
This page is a translated version of the page Manual:Setup.php and the translation is 42% complete.
Languages:
| MediaWiki文件: Setup.php | |
|---|---|
| 位置: | includes/ |
| 源代码: | master • 1.45.1 • 1.44.3 • 1.43.6 |
| 类: | 查找代码 • 查找帮助文档 |
细节
Setup.php file is included from WebStart.php , provided the MW_NO_SETUP constant is not defined.
它必須在 LocalSettings.php 之後插入。
采取的措施
It does the following:
- 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 .