Bug#656578: Can't install extensions from gnome site (exception in /usr/share/gnome-shell/js/ui/extensionSystem.js)

[Olivier Cailloux]

Solved for me on debian wheezy, gnome-shell 3.4.2-7+deb7u1.

I browsed to 
https://extensions.gnome.org/extension/112/remove-accesibility/, toggled 
it on. A prompt asked whether I want to download and install the 
extension, I confirmed, and there it went.

xsession-errors says:
Archive:  /tmp/I0IOCX.shell-extension.zip
   inflating: 
/home/olivier/.local/share/gnome-shell/extensions/removeaccesibility at lomegor/COPYING 

   inflating: 
/home/olivier/.local/share/gnome-shell/extensions/removeaccesibility at lomegor/extension.js 

   inflating: 
/home/olivier/.local/share/gnome-shell/extensions/removeaccesibility at lomegor/README 

  extracting: 
/home/olivier/.local/share/gnome-shell/extensions/removeaccesibility at lomegor/metadata.json 


Great!