Home
last modified time | relevance | path

Searched defs:time (Results 1 – 4 of 4) sorted by relevance

/web-php/
H A Dcached.php30 $time = (int)$_GET["t"]; variable
32 $time = filemtime($abs); variable
/web-php/js/
H A Dsearch-index.php39 $time = max(filemtime($indexfile), filemtime($descfile)); variable
/web-php/releases/
H A Dfeed.php50 $maxtime[] = $time = strtotime($source["date"]); variable
/web-php/src/News/
H A DEntry.php71 public function setConfTime(int $time): self {

Completed in 6 milliseconds