Simple extension to enable/disable installed extensions. - gnome-shell 3.4 support added thanks to community
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
You still haven't fixed the issue I pointed out last time.
Lame Extensions Manager