+
+ {t("settings.info.version.server")}
+ {meta()?.serverVersion ?? "—"}
+
+
+ {t("settings.info.version.ui")}
+ {meta()?.ui?.version ?? "—"}
+
+
+ {t("settings.info.version.uiSource")}
+
+ {meta()?.ui?.source ?? "—"}
+
+
+
+ {t("settings.info.runtime.type")}
+ {runtimeEnv.host}
+
+
+ {t("settings.info.runtime.platform")}
+ {runtimeEnv.platform}
+
+
+ {t("settings.info.runtime.os")}
+ {osDisplay()}
+
+
+ {t("settings.info.server.url")}
+
+ {meta()?.localUrl ?? "—"}
+
+
+
+ {t("settings.info.server.root")}
+
+ {meta()?.workspaceRoot ?? "—"}
+
+
+