Jump to content

Manual:$wgEnableProfileInfo

From mediawiki.org
This page is a translated version of the page Manual:$wgEnableProfileInfo and the translation is 67% complete.
プロファイリング: $wgEnableProfileInfo
profileinfo.php を利用できるかどうかを制御する。
導入されたバージョン:1.1.0
除去されたバージョン:1.35.0 (Gerrit change 545308; git #0da1ecfd)
許容される値:(真偽値)
既定値:false

詳細

プロファイリング データを表示する profileinfo.php を利用できるかどうかを制御します。

If set to true, profiling data will be stored in the profiling table inside the database. If you want to log profiling data, enable $wgProfiler['output'] = 'db' in your StartProfiler.php and run maintenance/update.php to create the profiling table. You can also set $wgProfiler['output'] to a different value in order to store/display profiling data differently. 詳細情報は Manual:プロファイリング を参照してください。

$wgEnableProfileInfo = true; // Make profileinfo.php available

関連項目