Defined in File input_manager.h
DeviceButtonID
ID of any key, button or analog on the device hardware.