Jump to content

Manuel:profileinfo.php

From mediawiki.org
This page is a translated version of the page Manual:Profileinfo.php and the translation is 100% complete.

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.

Voir aussi