Searched +full:locktime -(+path:inc +path:lang) -(+path:lib +path:plugins +path:lang) -(+path:lib +path:tpl +path:dokuwiki +path:lang) (Results 1 – 5 of 5) sorted by last modified time
143 if ($conf['locktime'] != 0) {144 js_runonstart("dw_locktimer.init(" . ($conf['locktime'] - 60) . "," . $conf['usedraft'] . ")");
934 if ((time() - filemtime($lock)) > $conf['locktime']) {961 if ($conf['locktime'] == 0) {
43 $locktime = filemtime(wikiLockFN($ID));44 $expire = dformat($locktime + $conf['locktime']);45 $min = round(($conf['locktime'] - (time() - $locktime)) / 60);
85 $conf['locktime'] = 15*60; //maximum age for lockfiles (defaults to 15 minutes)
191 $meta['locktime'] = ['numeric'];