From da93770fb7a9bd9b629bcb59224b74632eab7105 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Niklas=20Laxstr=C3=B6m?= Date: Thu, 8 Jul 2010 08:12:19 +0000 Subject: [PATCH] Document mDebugtext --- includes/OutputPage.php | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/includes/OutputPage.php b/includes/OutputPage.php index 6bfa21394a..bf9935c3f6 100644 --- a/includes/OutputPage.php +++ b/includes/OutputPage.php @@ -9,7 +9,15 @@ if ( !defined( 'MEDIAWIKI' ) ) { class OutputPage { var $mMetatags = array(), $mKeywords = array(), $mLinktags = array(); var $mExtStyles = array(); - var $mPagetitle = '', $mBodytext = '', $mDebugtext = ''; + var $mPagetitle = '', $mBodytext = ''; + + /** + * Holds the debug lines that will be outputted as comments in page source if + * $wgDebugComments is enabled. See also $wgShowDebug. + * TODO: make a getter method for this + */ + public $mDebugtext = ''; + var $mHTMLtitle = '', $mIsarticle = true, $mPrintable = false; var $mSubtitle = '', $mRedirect = '', $mStatusCode; var $mLastModified = '', $mETag = false; -- 2.20.1