Merge "Remove deprecated $wgCompiledFiles configuration setting"

diff --combined RELEASE-NOTES-1.24
index 37a6950,bb54773..3082663
--- 1/RELEASE-NOTES-1.24
--- 2/RELEASE-NOTES-1.24
+++ b/RELEASE-NOTES-1.24
@@@ -44,6 -44,7 +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
@@@ -138,8 -139,6 +139,8 @@@
    configurations can be changed with $wgPasswordConfig.
  * Skins can now define custom styles for default ResourceLoader modules using
    the $wgResourceModuleSkinStyles global. See the Vector skin for examples.
 +* (bug 4488) There is now a preference to watch pages where the user has
 +  rollbacked an edit by default.
  
  === Bug fixes in 1.24 ===
  * (bug 49116) Footer copyright notice is now always displayed in user language

diff --combined includes/DefaultSettings.php
index 7a87679,0ebfcba..dea6e71
--- 1/includes/DefaultSettings.php
--- 2/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@@ -4294,7 -4294,6 +4294,7 @@@ $wgDefaultUserOptions = array
        'watchlisthideown' => 0,
        'watchlisthidepatrolled' => 0,
        'watchmoves' => 0,
 +      'watchrollback' => 0,
        'wllimit' => 250,
        'useeditwarning' => 1,
        'prefershttps' => 1,
@@@ -7260,12 -7259,6 +7260,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.