diff options
| author | 2022-08-31 21:34:18 +0200 | |
|---|---|---|
| committer | 2022-08-31 21:34:18 +0200 | |
| commit | b1a74a34769513224ea9388b6614ffd53270fe50 (patch) | |
| tree | f40b7719d4c8c70a12bc0dae41428be37411cb85 /app/Controllers/extensionController.php | |
| parent | a8353e4b4c9cd17c94fa63792f4ce23a3040284a (diff) | |
Update extensionController.php (#4571)
Diffstat (limited to 'app/Controllers/extensionController.php')
| -rw-r--r-- | app/Controllers/extensionController.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/app/Controllers/extensionController.php b/app/Controllers/extensionController.php index 3a3affb99..d1ea889aa 100644 --- a/app/Controllers/extensionController.php +++ b/app/Controllers/extensionController.php @@ -42,7 +42,7 @@ class FreshRSS_extension_Controller extends FreshRSS_ActionController { */ protected function getAvailableExtensionList() { $extensionListUrl = 'https://raw.githubusercontent.com/FreshRSS/Extensions/master/extensions.json'; - $json = file_get_contents($extensionListUrl); + $json = @file_get_contents($extensionListUrl); // we ran into problems, simply ignore them if ($json === false) { |
