Manual:$wgCompiledFiles

From mediawiki.org
Miscellaneous settings: $wgCompiledFiles
A list of files that should be compiled into a HipHop build, in addition to those listed in $wgAutoloadClasses.
Introduced in version:1.18.0 (r89166)
Deprecated in version:1.22.0 (Gerrit change 62784; git #1fe9340b)
Removed in version:1.24.0 (Gerrit change 150696; git #57cccdb7)
Allowed values:(array)
Default value:array()

Details[edit]

A list of files that should be compiled into a HipHop build, in addition to those listed in $wgAutoloadClasses .