From b0eae5fa03a58d91a7d1760b00aa3d77165617aa Mon Sep 17 00:00:00 2001 From: Paul Holden Date: Mon, 10 Jun 2024 19:50:52 +0100 Subject: [PATCH] MDL-82155 core: define/correct third party library names. --- lib/thirdpartylibs.xml | 2 +- theme/boost/thirdpartylibs.xml | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/lib/thirdpartylibs.xml b/lib/thirdpartylibs.xml index d59a4ddc9e0..7e3aae345c7 100644 --- a/lib/thirdpartylibs.xml +++ b/lib/thirdpartylibs.xml @@ -513,7 +513,7 @@ All rights reserved. php-jwt - A simple library to encode and decode JSON Web Tokens (JWT) in PHP, conforming to RFC 7519 + PHP-JWT A simple library to encode and decode JSON Web Tokens (JWT) in PHP, conforming to RFC 7519 6.10.0 BSD diff --git a/theme/boost/thirdpartylibs.xml b/theme/boost/thirdpartylibs.xml index 6576f9cd947..031c8d39f21 100644 --- a/theme/boost/thirdpartylibs.xml +++ b/theme/boost/thirdpartylibs.xml @@ -28,6 +28,7 @@ amd/src/bootstrap/button.js + bootstrap-button HTML, CSS, and JavaScript framework for developing responsive, mobile-first projects on the web. 4.6.2 MIT