From 82ecda599ec960e61afcc59d3ba5ef4e55f577b7 Mon Sep 17 00:00:00 2001
From: EmilyxFox <48589793+EmilyxFox@users.noreply.github.com>
Date: Wed, 10 Sep 2025 14:12:11 +0200
Subject: [PATCH] add new server properties added in 25w37a (#3651)

---
 files/property-definitions.json | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/files/property-definitions.json b/files/property-definitions.json
index 6df0bb3a..902fdef0 100644
--- a/files/property-definitions.json
+++ b/files/property-definitions.json
@@ -31,6 +31,10 @@
   "management-server-enabled": {"env": "MANAGEMENT_SERVER_ENABLED"},
   "management-server-host": {"env": "MANAGEMENT_SERVER_HOST"},
   "management-server-port": {"env": "MANAGEMENT_SERVER_PORT"},
+  "management-server-secret": {"env": "MANAGEMENT_SERVER_SECRET"},
+  "management-server-tls-enabled": {"env": "MANAGEMENT_SERVER_TLS_ENABLED"},
+  "management-server-tls-keystore": {"env": "MANAGEMENT_SERVER_TLS_KEYSTORE"},
+  "management-server-tls-keystore-password": {"env": "MANAGEMENT_SERVER_TLS_KEYSTORE_PASSWORD"},
   "max-build-height": {"env": "MAX_BUILD_HEIGHT"},
   "max-chained-neighbor-updates": {"env": "MAX_CHAINED_NEIGHBOR_UPDATES"},
   "max-players": {"env": "MAX_PLAYERS"},