Manual:$wgEnableProfileInfo/pt

Category:MediaWiki configuration settings/pt#EnableProfileInfoCategory:MediaWiki configuration settings introduced in version 1.1.0/pt#EnableProfileInfoCategory:MediaWiki configuration settings removed in version 1.35.0/pt#EnableProfileInfoCategory:MediaWiki deprecated or obsolete features/pt#EnableProfileInfoCategory:Debug variables/pt#EnableProfileInfo
Profiling: $wgEnableProfileInfo
Controla a disponibilidade do ficheiro profileinfo.php.
Introduzida na versão:1.1.0
Removida na versão:1.35.0 (Gerrit change 545308; git #0da1ecfd)
Valores permitidos:(booliano)
Valor por omissão:false

Detalhes

Controla a disponibilidade de $profileinfo, que mostra os dados de criação de perfil.

If set to true, profiling data will be stored in the profiling table inside the database. If you want to log profiling data, enable $wgProfiler['output'] = 'db' in your StartProfiler.php and run maintenance/update.php to create the profiling table. You can also set $wgProfiler['output'] to a different value in order to store/display profiling data differently. Consulte Manual:Profiling para mais informação!

Exemplo

$wgEnableProfileInfo = true; // Torna profileinfo.php disponível

Ver também

Category:Debug variables/pt Category:MediaWiki configuration settings/pt Category:MediaWiki configuration settings introduced in version 1.1.0/pt Category:MediaWiki configuration settings removed in version 1.35.0/pt Category:MediaWiki deprecated or obsolete features/pt