MediaWiki:Common.js

Note: After saving, you may have to bypass your browser's cache to see the changes.

Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
Internet Explorer / Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5
Opera: Go to Menu → Settings (Opera → Preferences on a Mac) and then to Privacy & security → Clear browsing data → Cached images and files.

function AutoScroll(obj) {
    $(obj).find("ul:first").animate({
   marginTop:"-25px"
  },500,function(){
   $(this).css({marginTop: "0px"}).find("li:first").appendTo(this);
  });
 }

 $(document).ready(function() {
  setInterval('AutoScroll("#scrollDiv")',5000);
 });