Jump to content

Manual:$wgEnableProfileInfo

From mediawiki.org
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

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

See also

[edit]