Wikimedia Bugzilla is closed!

Wikimedia migrated from Bugzilla to Phabricator. Bug reports are handled in Wikimedia Phabricator.
This static website is read-only and for historical purposes. It is not possible to log in and except for displaying bug reports and their history, links might be broken. See T29989, the corresponding Phabricator task for complete and up-to-date bug report information.

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.