diff options
| author | Jan-Hendrik Willms <tleilax+studip@gmail.com> | 2024-11-29 08:06:06 +0000 |
|---|---|---|
| committer | Jan-Hendrik Willms <tleilax+studip@gmail.com> | 2024-11-29 08:06:06 +0000 |
| commit | c20978de1363bf9fbada4afa93319f76680090aa (patch) | |
| tree | 2be3c5ad0d77c90f66cceb7687372744fe82ca1a /lib/plugins/engine/PluginRepository.php | |
| parent | 999be96b285494f4dc668c3669f6f8175357c800 (diff) | |
fix deprecated warning, fixxes #4926
Merge request studip/studip!3697
Diffstat (limited to 'lib/plugins/engine/PluginRepository.php')
| -rw-r--r-- | lib/plugins/engine/PluginRepository.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/plugins/engine/PluginRepository.php b/lib/plugins/engine/PluginRepository.php index 4bd24c6..303501b 100644 --- a/lib/plugins/engine/PluginRepository.php +++ b/lib/plugins/engine/PluginRepository.php @@ -63,7 +63,7 @@ class PluginRepository // Set small timeout for the rare case that the repository is not // available $context = get_default_http_stream_context($url); - stream_context_set_option($context, ['http' => [ + stream_context_set_options($context, ['http' => [ 'timeout' => 5, ]]); $metadata = @file_get_contents($url, false, $context); |