In double redirects, the link should be red when the page was deleted, as in broken...
authorRotem Liss <rotem@users.mediawiki.org>
Sun, 16 Sep 2007 03:25:35 +0000 (03:25 +0000)
committerRotem Liss <rotem@users.mediawiki.org>
Sun, 16 Sep 2007 03:25:35 +0000 (03:25 +0000)
commitc405288e6a264dd4de7098e6071dfb83f0648ca2
tree9cab9059deb53b1fb81faad4618e2f0f63212ed1
parent218192051d2240c03cb55d4d9f0e451de6d9bf44
In double redirects, the link should be red when the page was deleted, as in broken redirects, and not always known.
includes/SpecialDoubleRedirects.php