Last modified: 2011-11-07 21:04:18 UTC
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.
That's just daft [[mw:Special:Code/MediaWiki/1234]]
(In reply to comment #1) > That's just daft > > [[mw:Special:Code/MediaWiki/1234]] The rev: interwiki prefix *already exists*, it's just not marked as local.
The rev: interwiki prefix is still not marked as local: http://de.wikipedia.org/w/api.php?action=query&meta=siteinfo&siprop=interwikimap but http://de.wikipedia.org/wiki/rev:12345 redirects now to http://www.mediawiki.org/wiki/Special:Code/MediaWiki/12345. Closing bug with RESOLVED FIXED.