Updated extension for Gnome 3.10.