Fix one bad doc comment entry from r86848

diff --git a/includes/Article.php b/includes/Article.php
index 2f6031b..af967bb 100644 (file)
--- 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;           // !<