Last modified: 2009-01-22 14:14:18 UTC
Actually I don't think [[MediaWiki:Rev-delundel]] actually works to change this message anyway; it doesn't on test.wiki. So A) that should be fixed, and B) it should be normal font by default. If wikis want to monospace it, they can do so, but it's much messier to unmonospace it than to set it in the fist place.
It should probably use its own CSS class rather than a hardcoded <tt><small>. From a quick look, this is hardcoded like this in at least 4 files, would probably be best to make it a Linker function.
Done in r45883.
Perhaps it would be even cleaner to allow that Linker function to create the 'dead link' format as well? Add a bool $link optional parameter, default true, and not link if it's set to false?