/dokuwiki/ |
H A D | COPYING | 189 6. Each time you redistribute the Program (or any work based on the 238 of the General Public License from time to time. Such new versions will
|
H A D | feed.php | 52 // time or the update interval has not passed, also handles conditional requests 63 http_conditionalRequest(time());
|
/dokuwiki/data/pages/wiki/ |
H A D | syntax.txt | 324 ^ Heading 4 | no colspan this time | | 331 ^ Heading 4 | no colspan this time | | 406 [[wiki:DokuWiki]] can highlight sourcecode, which makes it easier to read. It uses the [[http://qbnz.com/highlighter/|GeSHi]] Generic Syntax Highlighter -- so any language supported by GeSHi is supported. The syntax uses the same code and file blocks described in the previous section, but this time the name of the language syntax to be highlighted is included inside the tag, e.g. ''<nowiki><code java></nowiki>'' or ''<nowiki><file java></nowiki>''.
|
/dokuwiki/inc/Action/ |
H A D | Locked.php | 45 $min = round(($conf['locktime'] - (time() - $locktime)) / 60);
|
H A D | Resendpwd.php | 92 if ((time() - filemtime($tfile)) > (3 * 60 * 60 * 24)) {
|
/dokuwiki/inc/Cache/ |
H A D | Cache.php | 123 if (!empty($this->depends['age']) && ((time() - $this->_time) > $this->depends['age'])) {
|
/dokuwiki/inc/ChangeLog/ |
H A D | ChangeLog.php | 580 * In such case we assign 1 sec before current time() for the external deletion. 581 * As a result, the value of current revision identifier may change each time because: 631 'date' => max($lastRev + 1, time() - 1), // 1 sec before now or new page save 660 $msg = "Warning: current file modification time is older than last revision date";
|
/dokuwiki/inc/File/ |
H A D | PageFile.php | 212 // update the purgefile (timestamp of the last time anything within the wiki was changed) 213 io_saveFile($conf['cachedir'] . '/purgefile', time()); 235 // try to change file modification time 252 if ($revInfo['date'] == time()) sleep(1); // wait a tick
|
/dokuwiki/inc/ |
H A D | JpegMeta.php | 660 $earliestTime = time();
|
H A D | Logger.php | 126 $datetime = time(); 216 if (!$date) $date = time();
|
H A D | TaskRunner.php | 112 (@filemtime($fn . '.trimmed') + 86400) < time() && 126 $trim_time = time() - $conf['recent_days'] * 86400;
|
H A D | auth.php | 311 ($session['time'] >= time() - $conf['auth_security_timeout']) && 512 'expires' => time() - 600000, 1118 $_SESSION[DOKU_COOKIE]['auth']['time'] = 0; 1212 if ((time() - filemtime($tfile)) > (3 * 60 * 60 * 24)) { 1365 $time = $sticky ? (time() + 60 * 60 * 24 * 365) : 0; //one year 1367 'expires' => $time, 1379 $_SESSION[DOKU_COOKIE]['auth']['time'] = time(); [all...] |
H A D | changelog.php | 73 if (!$date) $date = time(); //use current time if none supplied 131 if (!$date) $date = time(); //use current time if none supplied 252 * returns an array of files changed since a given time using the
|
H A D | common.php | 934 if ((time() - filemtime($lock)) > $conf['locktime']) { 1459 $ago = time() - $dt; 1498 if (is_null($dt)) $dt = time(); 1990 'expires' => time() + 365 * 24 * 3600,
|
H A D | deprecated.php | 688 public function __construct($time) 691 parent::__construct($time); 686 __construct($time) global() argument
|
H A D | fetch.functions.php | 23 * @param int $cache remaining cache time in seconds (-1 for $conf['cache'], 0 for no-cache) 44 $expires = time() + $maxage; 46 $maxage = $cache; // given time 47 $expires = time() + $maxage;
|
H A D | httputils.php | 17 * @param int $timestamp lastmodified time of the cache file 171 @set_time_limit(30); // large files can take a lot of time 244 http_conditionalRequest(time());
|
H A D | indexer.php | 288 && (time() < @filemtime($conf['indexdir'] . '/lengths.idx') + $conf['readdircache'])
|
H A D | infoutils.php | 43 if ($lm < time() - (60 * 60 * 24) || $lm < @filemtime(DOKU_INC . DOKU_SCRIPT)) { 343 // rough time check 348 $now = time(); 350 $time = strtotime($http->resp_headers['date']); 351 $diff = $time - $now; 354 msg("Server time seems to be okay. Diff: {$diff}s", 1);
|
H A D | io.php | 427 * It waits maximal 3 seconds for the lock, after this time 441 $timeStart = time(); 444 if ((time() - $timeStart) > 3) break;
|
/dokuwiki/inc/Remote/ |
H A D | ApiCore.php | 104 * Return the current server time 108 * You can use this to compensate for differences between your client's time and the 109 * server's time when working with last modified timestamps (revisions). 115 return time();
|
/dokuwiki/inc/Search/ |
H A D | Indexer.php | 293 $pages[$new_id] = 'deleted:' . time() . random_int(0, 9999); 952 if (is_dir($lock) && time() - @filemtime($lock) > 60 * 5) {
|
/dokuwiki/inc/Sitemap/ |
H A D | Mapper.php | 51 @filemtime($sitemap) > (time() - ($conf['sitemap'] * 86400))
|
/dokuwiki/inc/Subscriptions/ |
H A D | BulkSubscriptionSender.php | 54 if ($lastupdate + $conf['subscribe_time'] > time()) { 55 // Less than the configured time period passed since last 118 // Update notification time. 119 $subscriberManager->add($target, $user, $style, time()); 133 * We don't use io_lock() her because we do not wait for the lock and use a larger stale time 147 if (is_dir($lock) && time() - @filemtime($lock) > 60 * 5) {
|
H A D | SubscriberManager.php | 57 $data = time(); 58 } //always add current time for new subscriptions
|