97b2079257
Array.prototype.push() returns the new number of elements, so no need to track the number separately. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2369>