workshop

public/js/console.js

@@ -283,6 +283,9 @@ $(document).ready(function () {
             map_list.push("ar_pool_day");
             map_list.push("ar_shoots");
             map_list.push("ar_shoots_night");
+        } else if (e.value == "7") { // other
+            // WORKSHOP
+            map_list.push("de_inferno_prophunt"); // 3608612434
         }
 
         $('#map').empty();