0a9e1b4173
It is true that delete is a javascript keyword, but that doesn't prevent it from being used as method name - there are event built-in types like Map or Set with delete() methods! So if that hack was ever needed, this hasn't been the case for years now; just removed the hack now. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/862