add new server properties added in 25w37a (#3651)

Author: EmilyxFox

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