From 3e7bf865eadce9746b0b133fb97df5c70df6aa8d Mon Sep 17 00:00:00 2001
From: EmilyxFox <48589793+EmilyxFox@users.noreply.github.com>
Date: Wed, 10 Sep 2025 03:12:45 +0200
Subject: [PATCH] add new server properties added in 25w37a

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

diff --git a/files/property-definitions.json b/files/property-definitions.json
index 6df0bb3a7ca..902fdef00f3 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"},