[PATCH] to disable highlighting of all missing links

[shansen@…]

This has nothing to do with the ignore_missing_links option :)

In my situation, it's undesirable for missing links to be highlighted, as they are not always missing. A IRequestFilter plugin we are using in our internal/corporate trac will do things like convert spaces to underscores, look for plural/not plural versions of pages, and redirect as appropriate. In these cases we'd prefer the original link to just look like any other link.

The attached simple patch adds a 'highlight_missing_pages' option to wiki/api.py:WikiSystem that defaults to True. When set to False, all pages look like normal links, even if a page doesn't actually exist. We'd much prefer a situation where "doesn't exist" was determined when one gets to the page.

[shansen@…]

(... as I now read the NewTicketGuidelines and attempt to comply)

[rblank]

As this only seems to be useful to a specific plugin, I suggest this be implemented as part of the plugin, possibly through monkey-patching WikiSystem._format_link().