Driver attribute defined as JSON_OBJECT

Since @codahq Yamaha AVR driver is no longer available, I've decided to write my own.
In the documentation the MediaInputSource capability has a supportedInputs attribute defined as JSON_OBJECT.

Can I assume this is just a string in the following format?

["hdmi1", "hdmi2", "hdmi3", "hdmi4", "hdmi5"]