Jump to content

Manual:Setup.php

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

詳細

Setup.phpファイルはMW_NO_SETUP定数が定義されていない条件下で、WebStart.php から呼び込みます。 LocalSettings.php より後に積む必要があります。

動作の選択

以下のことを行ないます:

  1. $wgScriptPath が変更されても調整が不用になるよう、最初に構成設定 LocalSettings.php でカスタマイズされていないパス変数などをいくつか書き換えるか、あるいはまた下位互換性のあるものから新しい構成設定に更新します。
  2. 次によく使われるファイルを導入します。
  3. セッションクッキーまたはユーザートークンクッキーが存在する場合、PHPセッションを開始します。
  4. グローバルオブジェクト変数のスタブオブジェクトを作成し、グローバル変数はメソッドの最初の呼び出しで非スタブ化されます。
  5. $wgExtensionFunctions にあるすべての関数を実行します。
  6. 次に後方互換性が非推奨のフックをいくつか呼び出します。LogPageValidTypes LogPageLogName LogPageLogHeader LogPageActionText などです。

関連項目