MediaWiki:Gadget-Refresh.js

// Refresh Button $(function {  $('.mw-refreshButton').html($('', {       'class': 'mw-ui-button',       text: 'Refresh'   })).click(function { location.reload; window.scrollTo(0, element.offsetTop); } )});