Searched refs:df (Results 1 – 2 of 2) sorted by relevance
6 if (!isset($df)) {11 $possible_files = [$df, "manual/$df"];35 …The file you requested (<strong>" . htmlspecialchars($df, ENT_QUOTES, "UTF-8") . "</strong>) is no…
141 $df = $dlinfo[1]; variable142 if (strpos($df, "7-LATEST") !== false) {145 $df = str_replace("7-LATEST", $latest, $df); variable158 $filename = get_actual_download_file($df);
Completed in 4 milliseconds