I am trying to push a new element to a JSON array in MySQL.
ex. in following table People:
id(int) liked_ids(JSON)
1 [2,3]
Now I want to push 5 into liked_ids.
I had a look at JSON_ARRAY_APPEND but couldn't figure out a way to use it even from the docs.