Updated to Drupal 8.5. Core Media not yet in use.

[yaffs-website] / vendor / drupal / console / src / Extension / Manager.php

diff --git a/vendor/drupal/console/src/Extension/Manager.php b/vendor/drupal/console/src/Extension/Manager.php
index d83e8cad6d428a8197252a1e135aff1d4e5b122f..8ad30488754481d76a496bead43f546ce90bba56 100644 (file)
--- a/vendor/drupal/console/src/Extension/Manager.php
+++ b/vendor/drupal/console/src/Extension/Manager.php
@@ -387,7 +387,7 @@ class Manager
             } else {
                 try {
                     $response = $this->httpClient->head('https://www.drupal.org/project/' . $extension);
-                    $header_link = explode(';', $response->getHeader('link'));
+                    $header_link = $response->getHeader('link');
                     if (empty($header_link[0])) {
                         $checkextensions['no_extensions'][] = $extension;
                     } else {