From 57cccdb71f48aa9a7a349fcfff5ff873c99141b3 Mon Sep 17 00:00:00 2001 From: withoutaname Date: Wed, 30 Jul 2014 13:46:53 -0700 Subject: [PATCH] Remove deprecated $wgCompiledFiles configuration setting Change-Id: I6a220291e6ebd9354e12898a77b7dc52fd59e63f --- RELEASE-NOTES-1.24 | 1 + includes/DefaultSettings.php | 6 ------ 2 files changed, 1 insertion(+), 6 deletions(-) diff --git a/RELEASE-NOTES-1.24 b/RELEASE-NOTES-1.24 index 79fa3bbb69..bb54773d2b 100644 --- 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 7c7f6ab65b..0ebfcba573 100644 --- 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. -- 2.20.1