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"},