array agg php to array

1
2// Postgresql arrays look like this: {1,2,3,4}
3$x = '{1,2,3,4}';
4$y = json_decode('[' . substr($x, 1, -1) . ']');  // [1, 2, 3, 4]
5
6
7
8// To cast back the other way would be mirror opposite:
9$y = [1, 2, 3, 4];
10$x = '{' . substr(json_encode($y), 1, -1) . '}';