Manual:$wgCompiledFiles

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