Manual:$wgHipHopBuildDirectory/pt-br

Category:MediaWiki configuration settings/pt-br#HipHopBuildDirectoryCategory:MediaWiki configuration settings introduced in version 1.18.0/pt-br#HipHopBuildDirectoryCategory:MediaWiki configuration settings removed in version 1.22.0/pt-br#HipHopBuildDirectoryCategory:MediaWiki deprecated or obsolete features/pt-br#HipHopBuildDirectoryCategory:Maintenance scripts setting variables/pt-br#HipHopBuildDirectory
Configuração de scripts de manutenção: $wgHipHopBuildDirectory
The build directory for HipHop compilation.
Introduzida na versão:1.18.0 (r89166)
Removida na versão:1.22.0 (Gerrit change 62784; git #1fe9340b)
Valores permitidos:(string) ou false
Valor padrão:false

Detalhes

The build directory for HipHop compilation. Defaults to $IP/maintenance/hiphop/build.

Category:Maintenance scripts setting variables/pt-br Category:MediaWiki configuration settings/pt-br Category:MediaWiki configuration settings introduced in version 1.18.0/pt-br Category:MediaWiki configuration settings removed in version 1.22.0/pt-br Category:MediaWiki deprecated or obsolete features/pt-br