Add customization/translation for "Players" and "Map Types" UI labels

src/main/java/org/dynmap/ClientConfigurationComponent.java

@@ -31,6 +31,8 @@ public class ClientConfigurationComponent extends Component {
                 if(sn.equals("Unknown Server"))
                     sn = "Minecraft Dynamic Map";
                 s(t, "title", c.getString("webpage-title", sn));
+                s(t, "msg-maptypes", c.getString("msg/maptypes", "Map Types"));
+                s(t, "msg-players", c.getString("msg/players", "Players"));
                 
                 DynmapWorld defaultWorld = null;
                 String defmap = null;

src/main/resources/configuration.txt

@@ -299,6 +299,11 @@ cyrillic-support: false
 # If true, make persistent record of IP addresses used by player logins, to support web IP to player matching
 persist-ids-by-ip: true
 
+# Messages to customize
+msg:
+    maptypes: "Map Types"
+    players: "Players"
+
 # NOTE: the 'templates' section is now found in the 'templates' directory
 #  Templates CAN still be defined in configuration.txt, as before 0.20
 templates:

web/js/map.js

@@ -214,7 +214,7 @@ DynMap.prototype = {
 		// Worlds
 		var worldlist;
 		$('<fieldset/>')
-			.append($('<legend/>').text('Map Types'))
+			.append($('<legend/>').text(me.options['msg-maptypes']))
 			.append(upbtn_world)
 			.append(me.worldlist = worldlist = $('<ul/>').addClass('worldlist')
 				.bind('mousewheel', function(event, delta){ 
@@ -279,7 +279,7 @@ DynMap.prototype = {
 		// The Player List
 		var playerlist;
 		$('<fieldset/>')
-			.append($('<legend/>').text('Players'))
+			.append($('<legend/>').text(me.options['msg-players']))
 			.append(upbtn)
 			.append(me.playerlist = playerlist = $('<ul/>').addClass('playerlist')
 				.bind('mousewheel', function(event, delta){