Update for GNOME Shell 3.12 API changes