A MediaWiki extension for automatically linking certain identifiers