From ff1c3e68d9e5268817d91bf82040235b90a87ecc Mon Sep 17 00:00:00 2001
From: Timo Tijhof <krinklemail@gmail.com>
Date: Thu, 24 Mar 2016 21:49:48 +0000
Subject: [PATCH] page: Remove outdated comment in getRedirectHeaderHtml()

Follows-up c24a0a15b.

Change-Id: Ie4e7d5bb1dc34130d54fa0a61cd03f97fd1f9145
---
 includes/page/Article.php | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/includes/page/Article.php b/includes/page/Article.php
index c4ccadecda..459e9f020e 100644
--- a/includes/page/Article.php
+++ b/includes/page/Article.php
@@ -1572,8 +1572,7 @@ class Article implements Page {
 				$title,
 				htmlspecialchars( $title->getFullText() ),
 				[],
-				// Automatically append redirect=no to each link, since most of them are
-				// redirect pages themselves.
+				// Make sure wiki page redirects are not followed
 				$title->isRedirect() ? [ 'redirect' => 'no' ] : [],
 				( $forceKnown ? [ 'known', 'noclasses' ] : [] )
 			) . '</li>';
-- 
2.20.1