Searched refs:filemtime (Results 76 – 100 of 214) sorted by last modified time
123456789
18 $_POST['lastmod'] = @filemtime(wikiFn('wiki:dokuwiki'));26 $_POST['lastmod'] = @filemtime(wikiFn('wiki:dokuwiki')) -1;
162 return file_exists($this->getFilepath()) ? filemtime($this->getFilepath()) : false;
32 if (filemtime($this->getSourceFilepath()) !== filemtime($this->getTargetFilepath())) {33 touch($this->getTargetFilepath(), filemtime($this->getSourceFilepath()));42 …return !file_exists($this->getTargetFilepath()) || filemtime($this->getTargetFilepath()) !== filem…
515 if ($this->cache[$fileName]['time'] == @filemtime($fileName)) {536 $this->cache[$fileName] = array('ns' => $namespace, 'time' => @filemtime($fileName));
539 if (@filemtime($destination) < @filemtime($source)) {546 touch($destination, filemtime($source));
87 … $updatedLog = substr_replace($currentLog[0], filemtime($file->getPathname()), 0, 10);
67 $remainingDelay = $delay - (time() - filemtime($this->statFile)) / 60;
182 if (filemtime ($filename) < strtotime ('today'))
193 'mtime' => filemtime(wikiFN($save_pageid))
276 $locktime = filemtime(wikiLockFN($ID));
92 $old = @filemtime($fl);111 $new = @filemtime($fl);
273 …AV:}getlastmodified' => new Xml\Property\GetLastModified(filemtime($tempLocation)),
41 'mtime' => filemtime($file_path),
160 $item['mtime'] = filemtime("$base/$file");168 $item['mtime'] = filemtime($item['path']);
61 $timestamp_old = @filemtime($this->info['path']);91 $timestamp_new = @filemtime($this->info['path']);
77 filemtime($this->path)
76 return filemtime($this->path);
52 filemtime($newPath)
123 filemtime($this->path)
253 if(@filemtime($cache->cache) < @filemtime($conf['cachedir'].'/purgefile')) {
103 $mtime = @filemtime($cache); // 0 if it doesn't exist183 $mtime = @filemtime($cache); // 0 if it doesn't exist187 ($mtime > filemtime(DOKU_INC.'vendor/geshi/geshi/src/geshi.php'))) {
263 filemtime($file)
137 $lastAlert = filemtime($this->statfile);
40 if (is_file($statfile) && filemtime($statfile) >= $currentMonthStart) {
187 $filetime = filemtime($filename);