From 4ec1639b9a9562028f2834da6c42e0ac962aad5f Mon Sep 17 00:00:00 2001
From: Ullrich Hafner <ullrich.hafner@gmail.com>
Date: Fri, 26 Jan 2024 20:43:55 +0100
Subject: [PATCH] Replace cobertura with coverage plugin in plugin installation
 wizard (#8879)

Replace cobertura with coverage plugin.

The coverage plugin combines all coverage tools into a single plugin.
See https://github.com/jenkinsci/coverage-plugin.
---
 core/src/main/resources/jenkins/install/platform-plugins.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/src/main/resources/jenkins/install/platform-plugins.json b/core/src/main/resources/jenkins/install/platform-plugins.json
index 62885083fbdd..a8a5b5010664 100644
--- a/core/src/main/resources/jenkins/install/platform-plugins.json
+++ b/core/src/main/resources/jenkins/install/platform-plugins.json
@@ -35,7 +35,7 @@
   {
     "category": "Build Analysis and Reporting",
     "plugins": [
-      { "name": "cobertura" },
+      { "name": "coverage" },
       { "name": "htmlpublisher" },
       { "name": "junit" },
       { "name": "warnings-ng" },