Deprecated since 1.20, unused anywhere.
Change-Id: I4316b77c48e65faf788de60be28fc9cf65c785f1
*/
public $mBodytext = '';
*/
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 = '';
/** @var string Stores contents of "<title>" tag */
private $mHTMLtitle = '';