MediaWiki:Common.js

/* Auto-Refresh for all pages, from the Dev Wiki by pcj, Grunny, and Kangaroopower */ importScriptPage('AjaxRC/code.js', 'dev'); var AjaxRCRefreshText = 'Auto-refresh'; var AjaxRCRefreshHoverText = 'Automatically refresh the page'; var ajaxPages = ["Special:RecentChanges","Special:Watchlist","Special:Log","Special:Contributions","Special:WikiActivity"];