Since we replaced Tweener with Clutter animations, we must import the latter and don't need the former. https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/88
Since we replaced Tweener with Clutter animations, we must import the latter and don't need the former. https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/88