Lines Matching refs:file
25 * @param int $chunk_size maximum block size read from file
44 * @return string path to file
80 * The "current" revision means current version of the page or media file. It is either
81 * identical with or newer than the "last" revision, that depends on whether the file
83 * The value of identifier can be determined by timestamp as far as the file exists,
228 // read whole file
229 $lines = file($logfile);
235 $fp = fopen($logfile, 'rb'); // "file pointer"
483 * - $fp: file pointer only defined for chuck reading, needs closing.
573 * When the file has not modified since its last revision, the information of the last
578 * The change date of the file can be determined by timestamp as far as the file exists,
579 * however this is not possible when the file has already deleted outside of DokuWiki.
582 * 1) the file has again modified outside of DokuWiki, or
608 // get revision id from the item file timestamp and changelog
610 $fileRev = @filemtime($fileLastMod); // false when the file not exist
621 if (!$fileRev && $lastRev) { // item file does not exist
642 } else { // item file exists, with timestamp $fileRev
643 // here, file timestamp $fileRev is different with last revision timestamp $lastRev in changelog
660 $msg = "Warning: current file modification time is older than last revision date";