Manual: $wgEnableProfileInfo
From mediawiki.org
This page is a translated version of the page Manual:$wgEnableProfileInfo and the translation is 100% complete.
Languages:
This feature was removed completely in version 1.35.0.
| Profiling: $wgEnableProfileInfo | |
|---|---|
| Controla a disponibilidade de profileinfo.php. |
|
| Introduzido na versão: | 1.1.0 |
| Removido na versão: | 1.35.0 (Gerrit change 545308; git #0da1ecfd) |
| Valores permitidos: | (booliano) |
| Valor predefinido: | false |
| Outras definições: Alfabeticamente | Por função | |
Detalhes
Controla a disponibilidade de profileinfo.php , que mostra os dados de criação de perfil.
Se definido para true, os dados de criação de perfil serão guardados na tabela profiling dentro da base de dados.
Se quiser registar os dados de criação de perfil, ative $wgProfiler['output'] = 'db' no seu StartProfiler.php e execute maintenance/update.php para criar a tabela de criação de perfil.
Também pode definir $wgProfiler['output'] para um valor diferente para guardar/exibir os dados de criação de perfil de forma diferente.
Consulte Manual: Perfilar para mais informação!
Exemplo
$wgEnableProfileInfo = true; // Torna profileinfo.php disponível