page: Remove outdated comment in getRedirectHeaderHtml()
authorTimo Tijhof <krinklemail@gmail.com>
Thu, 24 Mar 2016 21:49:48 +0000 (21:49 +0000)
committerKrinkle <krinklemail@gmail.com>
Sat, 2 Apr 2016 07:19:38 +0000 (07:19 +0000)
commitff1c3e68d9e5268817d91bf82040235b90a87ecc
tree9133e3dd21aad649825575080d5913199461ae7a
parentf6f40a096512dc019ea9fe7e4750f92f422af2b1
page: Remove outdated comment in getRedirectHeaderHtml()

Follows-up c24a0a15b.

Change-Id: Ie4e7d5bb1dc34130d54fa0a61cd03f97fd1f9145
includes/page/Article.php