Manual:Setup.php/ko
| 미디어위키 파일: Setup.php | |
|---|---|
| 위치: | includes/ |
| 소스 코드: | master • 1.46.0 • 1.45.4 • 1.43.9 |
| 클래스: | 코드 검색 • 설명문서 검색 |
상세
Setup.php file is included from WebStart.php, provided the MW_NO_SETUP constant is not defined.
It must be included after LocalSettings.php.
Actions taken
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.