From 9993fac51930b93a219a396c68c3c73bc88a2cac Mon Sep 17 00:00:00 2001
From: Alexandre Emsenhuber <ialex@users.mediawiki.org>
Date: Mon, 2 Jan 2012 11:59:56 +0000
Subject: [PATCH] Updated comment since $wgArticle is going to be removed in
 1.20.

---
 includes/Wiki.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/includes/Wiki.php b/includes/Wiki.php
index 4984b5f0ca..6882bc2a90 100644
--- a/includes/Wiki.php
+++ b/includes/Wiki.php
@@ -256,8 +256,8 @@ class MediaWiki {
 			if ( is_object( $article ) ) {
 				$pageView = true;
 				/**
-				 * $wgArticle is deprecated, do not use it. This will possibly be removed
-				 * entirely in 1.20 or 1.21
+				 * $wgArticle is deprecated, do not use it.
+				 * This will be removed entirely in 1.20.
 				 * @deprecated since 1.18
 				 */
 				global $wgArticle;
-- 
2.20.1