a1f38d818d
Array destructuring has been supported by gjs/mozjs for quite some time, so we are already using it heavily where it makes sense. However one place still sneaked through where using destructuring makes sense, as the element's position has semantic meaning (instead of just making it the first, second, ... element). https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/91