[ Version ( since = "0.8" ) ]
public void add_array_element (owned Array? value)
Conveniently adds an array element into an array.
If `value` is `NULL`, a `null` element will be added instead.
See also: [[email protected]_element], [[email protected]_array]
| this |
a JSON array |
| value |
the array to add |