MediaWiki:Gadget-inline-diff.js

var url=new mw.Uri(location.href);
if (url.query['diff-type']===undefined && url.query['diff']!==undefined) {
    var jumpurl=url.extend({'diff-type':'inline'}).toString();
    var $link=$('<a>').text('内联显示更改').attr('href',jumpurl);
    $('#mw-content-text').prepend($link)
}