Manual:$wgResourceLoaderEnableJSProfiler/de

Category:MediaWiki configuration settings/de#ResourceLoaderEnableJSProfilerCategory:MediaWiki configuration settings introduced in version 1.32.0/de#ResourceLoaderEnableJSProfilerCategory:MediaWiki configuration settings still in use/de#ResourceLoaderEnableJSProfilerCategory:Resource loader variables/de#ResourceLoaderEnableJSProfiler
ResourceLoader: $wgResourceLoaderEnableJSProfiler
When enabled, execution of JavaScript modules is profiled client-side.
Eingeführt in Version:1.32.0 (Gerrit change 444773; git #7f3c102a)
Entfernt in Version:Weiterhin vorhanden
Erlaubte Werte:(Wahrheitswert)
Standardwert:false
Andere Einstellungen: Alphabetisch | Nach Funktion

Details

Instrumentation happens in mw.loader.profiler. Use mw.inspect('time') from the browser console to display the data.

Category:MediaWiki configuration settings/de Category:MediaWiki configuration settings introduced in version 1.32.0/de Category:MediaWiki configuration settings still in use/de Category:Resource loader variables/de