CompareLink

CompareLink modifies history pages by changing the default "Compare selected versions" button to a link (MediaWiki bug 16165). This is useful to open diffs in a new window/tab. Based on script at Snippets/Compare_link, which itself was based on wikipedia:User:Mattflaschen/Compare_link.js.