Add header if API_TOKEN is present

lib/php/libsdk/SDK/Config.php

@@ -9,7 +9,7 @@ class Config
 	/* Config variables. */
 
 	/** @var string */
-	protected static $depsHost = 'downloads.php.net';
+	protected static $depsHost = 'phpext.phptools.online';
 
 	/** @var int */
 	protected static $depsPort = 443;
@@ -18,7 +18,7 @@ class Config
 	protected static $depsUriScheme = "https";
 
 	/** @var string */
-	protected static $depsBaseUri = "/~windows/php-sdk/deps";
+	protected static $depsBaseUri = "/api/downloadable/download";
 
 	/** @var string */
 	protected static $sdkNugetFeedUrl = "http://127.0.0.1/sdk/nuget"; // experimental?

lib/php/libsdk/SDK/FileOps.php

@@ -138,6 +138,11 @@ retry:
 		curl_setopt($ch, CURLOPT_USERAGENT, Config::getSdkUserAgentName());
 		curl_setopt($ch, CURLOPT_CONNECTTIMEOUT, 10);
 
+	 	$token = getenv('API_TOKEN');
+	 	if (!empty($token)) {
+			curl_setopt($ch, CURLOPT_HTTPHEADER, ['Authorization: Bearer '.$token]);
+		}
+
 		// workaround for <https://github.com/microsoft/php-sdk-binary-tools/issues/69>
 		curl_setopt($ch, CURLOPT_HTTP_VERSION, CURL_HTTP_VERSION_1_1);