Manual:$wgEnableProfileInfo

From mediawiki.org
Jump to navigation Jump to search
Other languages:
English • ‎Nederlands • ‎français • ‎magyar • ‎polski • ‎português • ‎português do Brasil • ‎日本語
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

Controls the availability of $profileinfo, 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 $code in your StartProfiler.php and run $update to create the profiling table. You can also set $Profiler to a different value in order to store/display profiling data differently. See Manual:Profiling for more information!

Example

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

See also