Home
last modified time | relevance | path

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

/PHP-7.1/win32/build/
H A Dmkdist.php181 $destfilename = $dest_dir . "/" . basename($filename);
214 $dest = fopen($destfilename, 'wb');
217 echo "Wrote $x bytes into $destfilename\n";
529 $destfilename = "$dist_dir/PEAR/go-pear-bundle/$filename"; variable
530 if (file_exists($destfilename))
535 copy($url, $destfilename);

Completed in 6 milliseconds