Manuel:$wgEnableProfileInfo

From mediawiki.org
This page is a translated version of the page Manual:$wgEnableProfileInfo and the translation is 100% complete.
Profilage: $wgEnableProfileInfo
Contrôle la disponibilité de profileinfo.php.
Introduit dans la version :1.1.0
Retiré dans la version :1.35.0 (Gerrit change 545308; git #0da1ecfd)
Valeurs autorisées :(booléen)
Valeur par défaut :false

Détails

Contrôle la disponibilité de profileinfo.php qui affiche les données de profilage.

S'il vaut true, les données de profilage sont rangées dans la table profiling de la base de données. Si vous voulez tracer les données de profilage, activez $wgProfiler['output'] = 'db' dans votre fichier StartProfiler.php et exécutez maintenance/update.php pour créer la table de profilage. Vous pouvez aussi initialiser $wgProfiler['output'] à une valeur différente afin d'enregistrer/afficher différemment les données de profilage. Voir Manuel:Profilage pour plus d'informations.

Exemple

$wgEnableProfileInfo = true; // Rend profileinfo.php disponible

Voir aussi