17,191
edits
MediaWiki:Gadget-RecentChangesRefresh.js: Difference between revisions
MediaWiki:Gadget-RecentChangesRefresh.js (view source)
Revision as of 17:25, April 27, 2020
, 4 years agono edit summary
No edit summary |
mNo edit summary |
||
| Line 9: | Line 9: | ||
var exdate = new Date(); | var exdate = new Date(); | ||
exdate.setDate(exdate.getDate() + expiredays); | exdate.setDate(exdate.getDate() + expiredays); | ||
document.cookie = c_name + '=' + escape(value) + ((expiredays == null) ? '' : ';expires=' + exdate.toGMTString()); | document.cookie = c_name + '=' + escape(value) + ((expiredays === null) ? '' : ';expires=' + exdate.toGMTString()); | ||
} | } | ||
| Line 52: | Line 52: | ||
article = '#bodyContent'; | article = '#bodyContent'; | ||
appTo = '.firstHeading'; | appTo = '.firstHeading'; | ||
for (x in ajaxPages) { | for (var x in ajaxPages) { | ||
if (mw.config.get('wgPageName') == ajaxPages[x] && $('#autoRefreshToggle').length == 0) ajaxRC(); | if (mw.config.get('wgPageName') == ajaxPages[x] && $('#autoRefreshToggle').length === 0) ajaxRC(); | ||
} | } | ||
} | } | ||
}); | }); | ||