Remove deprecated $wgCompiledFiles configuration setting

Change-Id: I6a220291e6ebd9354e12898a77b7dc52fd59e63f
Merge "Remove deprecated $wgCompiledFiles configuration setting"