Merge "Remove deprecated $wgCompiledFiles configuration setting"