Manual:$wgCompiledFiles/en

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