jenkins-bot has submitted this change and it was merged. Change subject: Remove deprecated $wgCompiledFiles configuration setting ......................................................................
Remove deprecated $wgCompiledFiles configuration setting Change-Id: I6a220291e6ebd9354e12898a77b7dc52fd59e63f --- M RELEASE-NOTES-1.24 M includes/DefaultSettings.php 2 files changed, 1 insertion(+), 6 deletions(-) Approvals: Aaron Schulz: Looks good to me, approved jenkins-bot: Verified diff --git a/RELEASE-NOTES-1.24 b/RELEASE-NOTES-1.24 index 79fa3bb..bb54773 100644 --- a/RELEASE-NOTES-1.24 +++ b/RELEASE-NOTES-1.24 @@ -44,6 +44,7 @@ * $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 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -7260,12 +7260,6 @@ ); /** - * 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. * @since 1.23 -- To view, visit https://gerrit.wikimedia.org/r/150696 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I6a220291e6ebd9354e12898a77b7dc52fd59e63f Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Withoutaname <drevit...@gmail.com> Gerrit-Reviewer: Aaron Schulz <asch...@wikimedia.org> Gerrit-Reviewer: Chad <ch...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits