Manual:$wgEnableProfileInfo/ja
 | この機能は、バージョン 1.35.0 で完全に除去されました。 |
| プロファイリング: $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