Issue #6722 duplicate

Display wiki dead links in a different color

Petr Pudlák
created an issue

Currently working and dead links are displayed in the same color. This makes it hard to incrementally create or migrate wiki content, because it's not at all obvious what pages are there and what are missing. It'd be very helpful if dead links were displayed in another (red) color.

Comments (1)

  1. Log in to comment