added workbench to list of skins

ident_switch-switch.js

@@ -2,7 +2,7 @@
  * ident_switch - Account switcher UI and new mail notifications.
  *
  * Places the hidden <select> from the footer into the appropriate
- * skin location (Larry, Classic, Elastic), shows it, and registers
+ * skin location (Larry, Classic, Elastic), Workbench, shows it, and registers
  * notification listeners for background mail checking.
  *
  * Copyright (C) 2016-2018 Boris Gulay
@@ -33,6 +33,9 @@ $(function() {
 		case 'elastic':
 			placed = plugin_switchIdent_addCbElastic($wrapper, $sw);
 			break;
+		case 'workbench':
+			placed = plugin_switchIdent_addCbElastic($wrapper, $sw);
+			break;
 	}
 
 	if (!placed) {