PHP download_sources Beispiele

Beispiel #1

Datei: pecl.php Projekt: marczych/hack-hhvm-docs

/** download a PECL release (if needed) */
function grab_pecl_release($package, $release)
{
    $package = strtolower($package);
    $url = 'http://pecl.php.net/get/' . urlencode($package) . '-' . urlencode($release);
    $dir = "{$package}-{$release}";
    $file = "{$dir}.tgz";
    download_sources($url, $dir, $file, $dir);
}

Beispiel #2

Datei: update-all.php Projekt: marczych/hack-hhvm-docs

/** fetch a tag sources */
function checkout_tag($tag)
{
    // $tag = PHP_x_x_x
    $majorversion = substr($tag, 4, 1);
    $dir = 'php-' . strtr(substr($tag, 4), '_', '.');
    $filename = "{$dir}.tar.gz";
    $url = "http://museum.php.net/php{$majorversion}/{$filename}";
    download_sources($url, $dir, $filename, $tag);
}