Withoutaname has uploaded a new change for review. https://gerrit.wikimedia.org/r/150696
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(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/96/150696/1 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: newchange Gerrit-Change-Id: I6a220291e6ebd9354e12898a77b7dc52fd59e63f Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Withoutaname <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
