Searched refs:ourLockTimerINI (Results 1 – 1 of 1) sorted by path
10 var ourLockTimerINI = false; variable30 if(window.locktimer && !ourLockTimerINI) {33 ourLockTimerINI=true;65 if(!ourLockTimerINI) unsetDokuWikiLockTimer();