Update extension.js

Doesn't work under older versions of gnome-shell.  This should allow it to work in old and new.