Manual:$wgResourceLoaderEnableJSProfiler
From mediawiki.org
| ResourceLoader: $wgResourceLoaderEnableJSProfiler | |
|---|---|
| When enabled, execution of JavaScript modules is profiled client-side. |
|
| Introduced in version: | 1.32.0 (Gerrit change 444773; git #7f3c102a) |
| Removed in version: | Still in use |
| Allowed values: | (boolean) |
| Default value: | false |
| Other settings: Alphabetical | By function | |
Details
[edit ]Instrumentation happens in mw.loader.profiler.
Use mw.inspect('time') from the browser console to display the data.