Manual:$wgCompiledFiles/de

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