From 7efb7f357eefedc277912bbf0834de9e124a96ef Mon Sep 17 00:00:00 2001 From: Timo Tijhof Date: Tue, 17 Apr 2018 22:29:36 +0100 Subject: [PATCH] RELEASE-NOTES: Add note for StartProfiler deprecation Follows-up 5209adff6c which just missed the 1.31 boat. Change-Id: Ia7501e07ccd6498c24ff02f407be1c39414ab97e --- RELEASE-NOTES-1.32 | 3 ++- includes/Setup.php | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/RELEASE-NOTES-1.32 b/RELEASE-NOTES-1.32 index 5d426f13be..941cf3f1f0 100644 --- a/RELEASE-NOTES-1.32 +++ b/RELEASE-NOTES-1.32 @@ -43,7 +43,8 @@ changes to languages because of Phabricator reports. * … === Deprecations in 1.32 === -* … +* Use of a StartProfiler.php file is deprecated in favour of placing + configuration in LocalSettings.php. === Other changes in 1.32 === * … diff --git a/includes/Setup.php b/includes/Setup.php index ac47b6f87b..6513cdd4b3 100644 --- a/includes/Setup.php +++ b/includes/Setup.php @@ -80,7 +80,7 @@ MediaWiki\HeaderCallback::register(); */ if ( is_readable( "$IP/StartProfiler.php" ) ) { - // @deprecated since 1.31: Use LocalSettings.php instead. + // @deprecated since 1.32: Use LocalSettings.php instead. require "$IP/StartProfiler.php"; } -- 2.20.1