Manual:$wgEnableProfileInfo
| この機能はバージョン 1.35.0 で完全に除去されました。 |
| 保守スクリプトの設定: $wgEnableProfileInfo | |
|---|---|
| Controls the availability of profileinfo.php. |
|
| 導入されたバージョン: | 1.1.0 |
| 除去されたバージョン: | 1.35.0 (Gerrit change 545308; git #0da1ecfd) |
| 許容される値: | (真偽値) |
| 既定値: | false |
| その他の設定: アルファベット順 | 機能順 | |
詳細
Controls the availability of profileinfo.php, which shows profiling data.
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:プロファイリング を参照してください。
Example
$wgEnableProfileInfo = true; // Make profileinfo.php available