In dewiki [[bugzilla:12345]] and http://de.wikipedia.org/wiki/bugzilla:12345 leads to https://bugzilla.wikimedia.org/show_bug.cgi?id=12345.
[[rev:12345]] leads to http://www.mediawiki.org/wiki/Special:Code/MediaWiki/12345 but http://de.wikipedia.org/wiki/rev:12345 leads to “Bad title”.
Expected result: http://de.wikipedia.org/wiki/rev:12345 should redirect to http://www.mediawiki.org/wiki/Special:Code/MediaWiki/12345.
Version: unspecified
Severity: enhancement
URL: http://de.wikipedia.org/wiki/rev:12345