MediaWiki:Common.js

/* Auto Refresh */ ajaxPages = ["Special:RecentChanges","Special:WikiActivity"]; ajaxRefresh = 30000; AjaxRCRefreshHoverText = 'Automatically refresh the page'; AjaxRCRefreshText = 'Auto-refresh'; importScriptPage('AjaxRC/code.js','dev');