Manual:$wgResourceLoaderEnableJSProfiler/ja

Category:MediaWiki configuration settings/ja#ResourceLoaderEnableJSProfilerCategory:MediaWiki configuration settings introduced in version 1.32.0/ja#ResourceLoaderEnableJSProfilerCategory:MediaWiki configuration settings still in use/ja#ResourceLoaderEnableJSProfilerCategory:Resource loader variables/ja#ResourceLoaderEnableJSProfiler
ResourceLoader: $wgResourceLoaderEnableJSProfiler
When enabled, execution of JavaScript modules is profiled client-side.
導入されたバージョン:1.32.0 (Gerrit change 444773; git #7f3c102a)
除去されたバージョン:使用中
許容される値:(真偽値)
既定値:false

詳細

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

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