add eu3 / server 4

Author: Tenrys

src/client/components/ServerInfo.vue

@@ -156,6 +156,7 @@ export default {
       idToName: {
         eu1: "Europe #1",
         eu2: "Europe #2",
+        eu3: "Europe #3",
         us1: "United States #1",
       },
       mX: null,

src/server/redirects.js

@@ -13,6 +13,7 @@ const joinURLs = {
   // This is separate from config.gameservers, apparently
   eu1: "195.154.166.219:27015",
   eu2: "176.9.65.121:27015",
+  eu3: "116.202.33.7:27015",
   us1: "66.42.103.116:27015",
   hl2coop: "94.23.170.2:27016",
   hl2dm: "94.23.170.2:27015",