From d5395c4f47ddd085d6ea75d69e3b658787dd69a0 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 2f877b1c774..564d534b330 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