Update extension.js for 3.8

Update for gnome-shell 3.8