[ Version ( since = "0.8" ) ]
public void add_int_element (int64 value)
Conveniently adds the given integer value into an array.
See also: [[email protected]_element], [[email protected]_int]
| this |
a JSON array |
| value |
the integer value to add |