MediaWiki:Common.js

var ajaxRefresh = 20; var AjaxRCRefreshText = 'Auto-refresh'; var AjaxRCRefreshHoverText = 'Automatically refresh the page'; importScriptPage('AjaxRC/code.js', 'dev');