|
|
|
console.log('End API request: 已获得最新修订ID，用时 ' + (mw.now() - timerStart) + ' ms');
addDiffLink(parseInt( data.query.pages[0].lastrevid ));
}, function(reason) { consolemw.errornotify('Failed API request: 无法获得最新修订ID。错误信息：' + reason, {type: 'error'}); });
});
});
|