Searched refs:cache (Results 51 – 75 of 122) sorted by path
12345
4 …cache[a]?d.cache[a].cloneNode():p.test(a)?(d.cache[a]=d.createElem(a)).cloneNode():d.createElem(a)…
14 ; be checked for updates when considering a cache rebuild while files
4 …cache[a]?c.cache[a].cloneNode():r.test(a)?(c.cache[a]=c.createElem(a)).cloneNode():c.createElem(a)…
32 $cache = getCacheName($localFile.$_SERVER['HTTP_HOST'].$_SERVER['SERVER_PORT'],'.xhtml');35 $cachetime = @filemtime($cache); // 0 if not exists49 $parsed = io_readfile($cache);54 io_saveFile($cache,$parsed); //save cachefile57 @unlink($cache); //try to delete cachefile
74 Note: Do not forget to empty your browser's cache if you cannot see any81 browser's cache afterwards. By the way: you might find the online97 Note: Do not forget to empty your browser's cache if you cannot see any
50 Note: Do not forget to empty your browser's cache if you cannot see any72 Note: Do not forget to empty your browser's cache if you cannot see any88 Note: Do not forget to empty your browser's cache if you cannot see any
32 $cache = getCacheName($localFile.$_SERVER['HTTP_HOST'].$_SERVER['SERVER_PORT'],'.xhtml');35 $cachetime = @filemtime($cache); // 0 if not exists49 $parsed = io_readfile($cache);50 $parsed .= "\n<!-- cachefile $cache used -->\n";55 io_saveFile($cache,$parsed); //save cachefile58 @unlink($cache); //try to delete cachefile