Manual:$wgEnableProfileInfo
From mediawiki.org
Languages:
This feature was removed completely in version 1.35.0.
| Profiling: $wgEnableProfileInfo | |
|---|---|
| Controls the availability of profileinfo.php. |
|
| Introduced in version: | 1.1.0 |
| Removed in version: | 1.35.0 (Gerrit change 545308; git #0da1ecfd) |
| Allowed values: | (boolean) |
| Default value: | false |
| Other settings: Alphabetical | By function | |
Details
[edit ]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.
See Manual:Profiling for more information!
Example
[edit ]$wgEnableProfileInfo = true; // Make profileinfo.php available