Jump to content

手册:Setup.php

From mediawiki.org
This page is a translated version of the page Manual:Setup.php and the translation is 38% complete.

细节

Setup.php file is included from WebStart.php , provided the MW_NO_SETUP constant is not defined. 它必須在 LocalSettings.php 之後插入。

采取的措施

It does the following:

  1. First it changes some configuration settings such as paths variables that aren't customized in LocalSettings.php so that they don't need to be modified if $wgScriptPath is changed or it updates new configuration settings from the backward compatible ones.
  1. Next it includes some commonly used files.
  1. It starts the PHP session if the session cookie or the user token cookie are present.
  1. It creates stub objects for global object variables, those globals will be unstubbed at the first call of one of their method.
  1. It runs all functions in $wgExtensionFunctions .
  1. And calls some deprecated hooks for backward compatibility: LogPageValidTypes , LogPageLogName , LogPageLogHeader and LogPageActionText .

参见