Manual:$wgProfileOnly
 | この機能は、バージョン 1.35.0 で MediaWiki コアから除去されました。
この機能を使用するための代替方法については $wgProfiler['output'] を参照してください。 |
| プロファイリング: $wgProfileOnly | |
|---|---|
| ノンプロファイリングの情報をログファイルに入れない |
|
| 導入されたバージョン: | 1.1.0 未満 |
| 廃止予定になったバージョン: | 1.23.0 (Gerrit change 121336; git #d966a526) |
| 除去されたバージョン: | 1.35.0 (Gerrit change 560355; git #049dd15d) |
| 許容される値: | (真偽値) |
| 既定値: | false |
| その他の設定: アルファベット順 | 機能順 | |
詳細
ノンプロファイリングの情報をログファイルに入れません
MediaWiki 1.23 以降、同じ機能を実現するには、ログファイルを
$wgDebugLogGroups['profileoutput'] に設定してください。Categories:
- MediaWiki configuration settings/ja
- MediaWiki configuration settings introduced before version 1.1.0/ja
- MediaWiki configuration settings deprecated in version 1.23.0/ja
- MediaWiki configuration settings removed in version 1.35.0/ja
- MediaWiki deprecated or obsolete features/ja
- Debug variables/ja
- Log variables/ja