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']
に設定してください。