Remove unused VLC_VAR_HOTKEY

include/vlc_variables.h

@@ -53,7 +53,6 @@
 #define VLC_VAR_VOID      0x0010
 #define VLC_VAR_BOOL      0x0020
 #define VLC_VAR_INTEGER   0x0030
-#define VLC_VAR_HOTKEY    0x0031
 #define VLC_VAR_STRING    0x0040
 #define VLC_VAR_VARIABLE  0x0044
 #define VLC_VAR_FLOAT     0x0050

src/misc/variables.c

@@ -1489,7 +1489,6 @@ static void DumpVariable(const void *data, const VISIT which, const int depth)
         case VLC_VAR_VOID:     typename = "void";        break;
         case VLC_VAR_BOOL:     typename = "bool";        break;
         case VLC_VAR_INTEGER:  typename = "integer";     break;
-        case VLC_VAR_HOTKEY:   typename = "hotkey";      break;
         case VLC_VAR_STRING:   typename = "string";      break;
         case VLC_VAR_VARIABLE: typename = "variable";    break;
         case VLC_VAR_FLOAT:    typename = "float";       break;