Manuel:$wgResourceLoaderEnableJSProfiler
| ResourceLoader: $wgResourceLoaderEnableJSProfiler | |
|---|---|
| Lorsqu'il est activé, l'exécution des modules JavaScript est profilée du côté du client. |
|
| Introduit dans la version : | 1.32.0 (Gerrit change 444773; git #7f3c102a) |
| Retiré dans la version : | Encore utilisé |
| Valeurs autorisées : | (booléen) |
| Valeur par défaut : | false |
| Autres paramètres : Alphabétique | Par fonction | |
Détails
L'instrumentation apparaît en mw.loader.profiler.
Utiliser mw.inspect('time') dans la console du navigateur pour afficher les données.