page: Remove outdated comment in getRedirectHeaderHtml()

Follows-up c24a0a15b.

Change-Id: Ie4e7d5bb1dc34130d54fa0a61cd03f97fd1f9145

diff --git a/includes/page/Article.php b/includes/page/Article.php
index c4ccade..459e9f0 100644 (file)
--- 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>';