Thread:Dryuuu/@comment-4190137-20120924060111/@comment-4623180-20120924113340

It is JavaScript

// Ajax auto-refresh

var ajaxPages = ['Special:RecentChanges','Special:WikiActivity','Special:Contributions'];

var AjaxRCRefreshText = 'Auto-refresh';

importScriptPage('AjaxRC/code.js', 'dev');

var ajaxRefresh = 30000;

// END of ajax auto-refresh