From 532b479f96eea701080d5533e5f28acab9af76ba Mon Sep 17 00:00:00 2001
From: Mario <mario@mariovavti.com>
Date: Thu, 14 Oct 2021 18:15:38 +0000
Subject: provide local copies of the w3.org jsonld documents - addresses issue
 #1637

---
 library/jsonld/jsonld.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'library/jsonld')

diff --git a/library/jsonld/jsonld.php b/library/jsonld/jsonld.php
index 8cd3e7ceb..bc3ca7a31 100644
--- a/library/jsonld/jsonld.php
+++ b/library/jsonld/jsonld.php
@@ -449,7 +449,7 @@ function jsonld_default_secure_document_loader($url) {
   $result = @file_get_contents($url, false, $context);
   if($result === false) {
     throw new JsonLdException(
-      'Could not retrieve a JSON-LD document from the URL: ' + $url,
+      'Could not retrieve a JSON-LD document from the URL: ' . $url,
       'jsonld.LoadDocumentError', 'loading document failed');
   }
   $link_header = array();
-- 
cgit v1.2.3