jenkins-bot has submitted this change and it was merged.

Change subject: Remove OutputPage->mDebugtext
......................................................................


Remove OutputPage->mDebugtext

Deprecated since 1.20, unused anywhere.

Change-Id: I4316b77c48e65faf788de60be28fc9cf65c785f1
---
M includes/OutputPage.php
1 file changed, 0 insertions(+), 7 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/includes/OutputPage.php b/includes/OutputPage.php
index ba14b99..c57e219 100644
--- a/includes/OutputPage.php
+++ b/includes/OutputPage.php
@@ -67,13 +67,6 @@
         */
        public $mBodytext = '';
 
-       /**
-        * Holds the debug lines that will be output as comments in page source 
if
-        * $wgDebugComments is enabled. See also $wgShowDebug.
-        * @deprecated since 1.20; use MWDebug class instead.
-        */
-       public $mDebugtext = '';
-
        /** @var string Stores contents of "<title>" tag */
        private $mHTMLtitle = '';
 

-- 
To view, visit https://gerrit.wikimedia.org/r/311845
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I4316b77c48e65faf788de60be28fc9cf65c785f1
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: MaxSem <maxsem.w...@gmail.com>
Gerrit-Reviewer: Aaron Schulz <asch...@wikimedia.org>
Gerrit-Reviewer: Legoktm <legoktm.wikipe...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to