From 7b5619adca3cdff82ca7fa7fa137b8df23d79fdc Mon Sep 17 00:00:00 2001
From: "James D. Forrester" <jforrester@wikimedia.org>
Date: Fri, 12 Jul 2019 16:42:09 -0700
Subject: [PATCH] Hard-deprecate wgProfileOnly, deprecated in 1.23

Change-Id: I1b66931ca0d3ae3e044b14f5b97dd98861ec5e23
---
 RELEASE-NOTES-1.34 | 2 ++
 includes/Setup.php | 5 +++++
 2 files changed, 7 insertions(+)

diff --git a/RELEASE-NOTES-1.34 b/RELEASE-NOTES-1.34
index 69b2088125..0d90b7cbb4 100644
--- a/RELEASE-NOTES-1.34
+++ b/RELEASE-NOTES-1.34
@@ -56,6 +56,8 @@ For notes on 1.33.x and older releases, see HISTORY.
   hard-deprecated.
 * $wgLocalInterwiki — Setting this instead of $wgLocalInterwikis, deprecated in
   1.23, is now hard-deprecated.
+* $wgProfileOnly — Setting this, deprecated in 1.23, is now hard-deprecated.
+  Instead, set the log file in $wgDebugLogGroups['profileoutput'].
 * …
 
 ==== Removed configuration ====
diff --git a/includes/Setup.php b/includes/Setup.php
index 71136e050b..420298504f 100644
--- a/includes/Setup.php
+++ b/includes/Setup.php
@@ -626,6 +626,11 @@ if ( $wgCookieSecure === 'detect' ) {
 }
 
 if ( $wgProfileOnly ) {
+	// Hard deprecated in 1.34.
+	wfDeprecated(
+		'$wgProfileOnly set the log file in $wgDebugLogGroups[\'profileoutput\'] instead',
+		'1.23'
+	);
 	$wgDebugLogGroups['profileoutput'] = $wgDebugLogFile;
 	$wgDebugLogFile = '';
 }
-- 
2.20.1