From 8ff593404cdbda09f3dfe65a7775f657cad08a65 Mon Sep 17 00:00:00 2001
From: Brion Vibber <brion@users.mediawiki.org>
Date: Tue, 14 Jun 2011 21:10:33 +0000
Subject: [PATCH] Fix one bad doc comment entry from r86848

---
 includes/Article.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/Article.php b/includes/Article.php
index 2f6031b736..af967bb3be 100644
--- a/includes/Article.php
+++ b/includes/Article.php
@@ -43,7 +43,7 @@ class Article {
 	var $mRedirectTarget = null;
 
 	/**
-	 * @var Title
+	 * @var mixed: boolean false or URL string
 	 */
 	var $mRedirectUrl = false;        // !<
 	var $mRevIdFetched = 0;           // !<
-- 
2.20.1