Manual:$wgProfilerType/ja

From MediaWiki.org
Jump to: navigation, search

[[Category:]]

プロファイリング: $wgProfilerType
空ではない場合、ロードするプロファイラのタイプを指定する。
導入されたバージョン: 1.6.0
削除されたバージョン: 1.8.0
可能な値:
デフォルトの値: (empty string)

他の設定: アルファベット順 | 機能順


[edit] 詳細

空ではない場合、ロードするプロファイラのタイプを指定する。

言語: English  • Français • 日本語
Personal tools
Namespaces
Variants
Actions
Site
Support
Download
Development
Communication
Print/export
Toolbox