Hard-deprecate wgProfileOnly, deprecated in 1.23

Change-Id: I1b66931ca0d3ae3e044b14f5b97dd98861ec5e23

diff --git a/RELEASE-NOTES-1.34 b/RELEASE-NOTES-1.34
index 69b2088..0d90b7c 100644 (file)
--- 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 71136e0..4202985 100644 (file)
--- 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 = '';
 }