Home
last modified time | relevance | path

Searched refs:fetch_into_file (Results 1 – 3 of 3) sorted by relevance

/web-master/scripts/
H A Dusergroups_update_infos12 fetch_into_file(USERGROUP_JSON_URL, $nameOfUgCacheFile);
25 fetch_into_file($url, $usergroupIcalFileCache);
H A Dupdate-backend20 fetch_into_file("https://master.php.net/fetch/events.php?token=$token",
59 function fetch_into_file($url, $file) function
H A Dip-to-country23 $succ = fetch_into_file("http://www.directi.com/iptocountry/" .

Completed in 5 milliseconds