Remove deprecated $wgCompiledFiles configuration setting

Change-Id: I6a220291e6ebd9354e12898a77b7dc52fd59e63f

diff --git a/RELEASE-NOTES-1.24 b/RELEASE-NOTES-1.24
index 79fa3bb..bb54773 100644 (file)
--- a/RELEASE-NOTES-1.24
+++ b/RELEASE-NOTES-1.24
@@ -44,6 +44,7 @@ production.
 * $wgEnableSorbs and $wgSorbsUrl have been removed.
 * The UserCryptPassword and UserComparePassword hooks are no longer called. Any extensions
   using them must be updated to use the Password Hashing API.
+* $wgCompiledFiles has been removed.
 
 === New features in 1.24 ===
 * Added a new hook, "WhatLinksHereProps", to allow extensions to annotate

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 7c7f6ab..0ebfcba 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -7259,12 +7259,6 @@ $wgSiteTypes = array(
        'mediawiki' => 'MediaWikiSite',
 );
 
-/**
- * Formerly a list of files for HipHop compilation
- * @deprecated since 1.22
- */
-$wgCompiledFiles = array();
-
 /**
  * Whether the page_props table has a pp_sortkey column. Set to false in case
  * the respective database schema change was not applied.