Resolve "OER Campus: HTTP_PROXY wird nicht genutzt"

Closes #2427

Merge request studip/studip!1623

app/controllers/oer/addfile.php

@@ -25,7 +25,8 @@ class Oer_AddfileController extends AuthenticatedController
             ];
             if ($material['host_id']) {
                 $tmp_name = $GLOBALS['TMP_PATH']."/oer_".$material->getId();
-                file_put_contents($tmp_name, file_get_contents($material->getDownloadUrl()));
+                $url = $material->getDownloadUrl();
+                file_put_contents($tmp_name, file_get_contents($url, false, get_default_http_stream_context($url)));
                 $uploaded_file['tmp_name'] = $tmp_name;
                 $uploaded_file['type'] = filesize($tmp_name);
             } else {

app/controllers/oer/endpoints.php

@@ -93,7 +93,8 @@ class Oer_EndpointsController extends StudipController
         if (!$host) {
             return;
         }
-        $host_data = file_get_contents($url."fetch_public_host_key");
+        $url = $url."fetch_public_host_key";
+        $host_data = @file_get_contents($url, false, get_default_http_stream_context($url));
         if ($host_data) {
             $host_data = json_decode($host_data, true);
             if ($host_data) {

lib/models/OERDownloadcounter.php

@@ -13,7 +13,9 @@ class OERDownloadcounter extends SimpleORMap
         $counter['material_id'] = $material_id;
         if (Config::get()->oer_GEOLOCATOR_API) {
             list($url, $lon, $lat) = explode(" ", Config::get()->oer_GEOLOCATOR_API);
-            $output = json_decode(file_get_contents(sprintf($url, $_SERVER['REMOTE_ADDR'])), true);
+            $url = sprintf($url, $_SERVER['REMOTE_ADDR']);
+            $output = @file_get_contents($url, false, get_default_http_stream_context($url));
+            $output = json_decode($output, true);
             if (isset($output[$lon])) {
                 $counter['longitude'] = $output[$lon];
             }

lib/models/OERHost.php

@@ -100,7 +100,7 @@ class OERHost extends OERIdentity
     {
         $endpoint_url = $this['url']."fetch_public_host_key";
         $endpoint_url .= "?from=".urlencode($GLOBALS['oer_PREFERRED_URI'] ?: $GLOBALS['ABSOLUTE_URI_STUDIP']."dispatch.php/oer/endpoints/");
-        $host_data = @file_get_contents($endpoint_url);
+        $host_data = @file_get_contents($endpoint_url, false, get_default_http_stream_context($endpoint_url));
         if ($host_data) {
             $host_data = json_decode($host_data, true);
             if ($host_data) {
@@ -124,7 +124,7 @@ class OERHost extends OERIdentity
     {
         $endpoint_url = $this['url']."fetch_known_hosts"
             ."?from=".urlencode(!empty($GLOBALS['oer_PREFERRED_URI']) ?: $GLOBALS['ABSOLUTE_URI_STUDIP']."dispatch.php/oer/endpoints/");
-        $output = @file_get_contents($endpoint_url);
+        $output = @file_get_contents($endpoint_url, false, get_default_http_stream_context($endpoint_url));
         if (!empty($output)) {
             $output = json_decode($output, true);
             foreach ((array) $output['hosts'] as $host_data) {
@@ -157,7 +157,7 @@ class OERHost extends OERIdentity
         } else {
             $endpoint_url .= "?text=".urlencode($text);
         }
-        $output = @file_get_contents($endpoint_url);
+        $output = @file_get_contents($endpoint_url, false, get_default_http_stream_context($endpoint_url));
         if ($output) {
             $output = json_decode($output, true);
             foreach ((array) $output['results'] as $material_data) {
@@ -241,7 +241,7 @@ class OERHost extends OERIdentity
     public function fetchItemData(OERMaterial $material)
     {
         $endpoint_url = $this['url']."get_item_data/".urlencode($material['foreign_material_id']);
-        $output = @file_get_contents($endpoint_url);
+        $output = @file_get_contents($endpoint_url, false, get_default_http_stream_context($endpoint_url));
         if ($output) {
             $output = json_decode($output, true);
             if ($output) {

lib/models/OERHostOERSI.php

@@ -17,7 +17,7 @@ class OERHostOERSI extends OERHost
         } else {
             $endpoint_url .= '?q=' . urlencode($text . $appendix);
         }
-        $output = @file_get_contents($endpoint_url);
+        $output = @file_get_contents($endpoint_url, false, get_default_http_stream_context($endpoint_url));
         if ($output) {
             $output = json_decode($output, true);
             foreach ((array) $output['hits']['hits'] as $material_data) {
@@ -88,7 +88,7 @@ class OERHostOERSI extends OERHost
     public function fetchItemData(OERMaterial $material)
     {
         $endpoint_url = 'https://oersi.de/resources/' . urlencode($material['data']['id']) . '?format=json';
-        $output = @file_get_contents($endpoint_url);
+        $output = @file_get_contents($endpoint_url, false, get_default_http_stream_context($endpoint_url));
         if ($output) {
             $output = json_decode($output, true);
             if ($output) {

lib/modules/CoreDocuments.class.php

@@ -54,7 +54,7 @@ class CoreDocuments extends CorePlugin implements StudipModule, OERModule
         if ($url) {
             if ($material['host_id']) {
                 $tmp_name = $GLOBALS['TMP_PATH'] . '/oer_' . $material->getId();
-                file_put_contents($tmp_name, file_get_contents($url));
+                file_put_contents($tmp_name, file_get_contents($url, false, get_default_http_stream_context($url)));
                 $uploaded_file['tmp_name'] = $tmp_name;
                 $uploaded_file['type'] = filesize($tmp_name);
             } else {