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

[Damyan Ivanov]

-=| althaser, 19.03.2014 13:49:20 +0000 |=-
> this is an old bug report.
> 
> Could you please still reproduce this issue with newer gnome-shell version
> like 3.4.2-7+deb7u1 or 3.8.4-5+b1 ?

I can still reproduce it on the system I had it initially with 
gnome-shell 3.8.4-5+b2 (and up to date sid + experimental 
iceweasel/xulrunner; same on another system which works).

-- dam