Manuel:profileinfo.php
| Cette fonctionnalité a été supprimée entièrement dans la version 1.35. |
| Fichier MediaWiki : profileinfo.php | |
|---|---|
| Emplacement : | / |
| Code source : | master • 1.42.3 • 1.41.4 • 1.39.10 |
| Classes : | profile_point |
Détails
Permet aux utilisateurs de voir les informations de profilage qui sont stockées dans la base de données.
Pour enregistrer les informations de profilage dans la base de données (requis pour utiliser ce script), vous devez modifier StartProfiler.php pour utiliser la classe Profiler et non pas l'amorce de profileur qui est activée par défaut.
Vous aurez aussi besoin de positionner $wgProfiler correctement dans LocalSettings.php pour forcer le profileur à enregistrer les informations dans la base de données et appliquer le correctif maintenance/archives/patch-profiling.sql à la base de données.
Pour activer le profileinfo.php lui-même, vous devrez initialiser $wgEnableProfileInfo à true dans LocalSettings.php.
Voir aussi l'aide sur le profilage.