DevUI: Info extension

extensions/info/deployment/src/main/java/io/quarkus/info/deployment/InfoDevUiProcessor.java

@@ -0,0 +1,38 @@
+package io.quarkus.info.deployment;
+
+import io.quarkus.deployment.IsDevelopment;
+import io.quarkus.deployment.annotations.BuildStep;
+import io.quarkus.deployment.annotations.ExecutionTime;
+import io.quarkus.deployment.annotations.Record;
+import io.quarkus.deployment.builditem.LaunchModeBuildItem;
+import io.quarkus.devui.spi.page.CardPageBuildItem;
+import io.quarkus.devui.spi.page.Page;
+import io.quarkus.info.runtime.InfoRecorder;
+import io.quarkus.vertx.http.deployment.NonApplicationRootPathBuildItem;
+import io.quarkus.vertx.http.runtime.management.ManagementInterfaceBuildTimeConfig;
+
+/**
+ * This processor is responsible for the dev ui widget.
+ */
+public class InfoDevUiProcessor {
+
+    @BuildStep(onlyIf = IsDevelopment.class)
+    @Record(ExecutionTime.STATIC_INIT)
+    CardPageBuildItem create(NonApplicationRootPathBuildItem nonApplicationRootPathBuildItem,
+            InfoBuildTimeConfig config,
+            ManagementInterfaceBuildTimeConfig managementInterfaceBuildTimeConfig,
+            LaunchModeBuildItem launchModeBuildItem,
+            InfoRecorder unused) {
+        CardPageBuildItem pageBuildItem = new CardPageBuildItem();
+
+        var path = nonApplicationRootPathBuildItem.resolveManagementPath(config.path(),
+                managementInterfaceBuildTimeConfig, launchModeBuildItem);
+        pageBuildItem.addPage(Page.externalPageBuilder("App Information")
+                .icon("font-awesome-solid:circle-info")
+                .url(path)
+                .isJsonContent());
+
+        return pageBuildItem;
+    }
+
+}

extensions/info/runtime/src/main/java/io/quarkus/info/runtime/InfoRecorder.java

@@ -9,6 +9,7 @@
 import io.vertx.core.Handler;
 import io.vertx.core.http.HttpHeaders;
 import io.vertx.core.http.HttpServerResponse;
+import io.vertx.core.json.Json;
 import io.vertx.core.json.JsonObject;
 import io.vertx.ext.web.RoutingContext;
 
@@ -44,7 +45,7 @@ public void handle(RoutingContext ctx) {
             HttpServerResponse resp = ctx.response();
             resp.headers().set(HttpHeaders.CONTENT_TYPE, "application/json; charset=UTF-8");
             JsonObject jsonObject = new JsonObject(finalBuildInfo);
-            ctx.json(jsonObject);
+            ctx.end(Json.encodePrettily(jsonObject));
         }
     }
 }