Home
last modified time | relevance | path

Searched refs:timerID (Results 1 – 2 of 2) sorted by relevance

/plugin/eventline/
Dscript.js55 var timerID = null; variable
57 if (timerID != null) {
58 window.clearTimeout(timerID);
60 timerID = window.setTimeout(function() {
68 timerID = null;
/plugin/zwidoku/files/
H A Djs.js1 …timerID:null,lasttime:null,msg:LANG.willexpire,pageid:'',fieldsToSaveAsDraft:['input[name=prefix]'…