download-file-curl.php

<?php

function download_file($url, $destination) {
	echo 'downloading ' . $destination . "\n";
	$ch = curl_init();
	curl_setopt($ch, CURLOPT_URL, $url);
	curl_setopt($ch, CURLOPT_RETURNTRANSFER, 1);
	curl_setopt($ch, CURLOPT_SSL_VERIFYPEER, false);
	curl_setopt( $ch, CURLOPT_ENCODING, "UTF-8" );

	$data = curl_exec ($ch);
	$error = curl_error($ch);

	if (substr($destination, -7) === 'lnr.css') {
	}

	curl_close ($ch);

	$file = fopen($destination, "w+");
	fputs($file, $data);
	fclose($file);
}