file module links in WikiFormatting

[tom.stivers@…]

In addition to source: and repos: taking you to the revision browser page, I thought it would be convenient to have a file: tag which would take you to the actual file contents page. Since this module already existed it was trivial to implement in WikiFormatting.py

[tom.stivers@…]

patch to implement file: tag in wikiformatting

[Jonas Borgström]

You can already link to a specific file revision like this:

source:/trunk/ChangeLog#800​

Or to the latest version:

source:/trunk/ChangeLog#latest​ or source:/trunk/ChangeLog#head​

Of course "file:/trunk/ChangeLog" would be a shorter than "source:/trunk/ChangeLog#latest​" but with file: it's not as obvious that the link might point to a different version of the file in the future.

[Christian Boos]

As a side note, and to update the comment of jonas above, the usage of "#" as a separator in source: links is now deprecated in favor of using "@", as in:

source:trunk/ChangeLog@latest​

[Christian Boos]

(clearing report:35)