Gnome Shell 3.8.2 support

I tested your Extension with Gnome Shell 3.8.2 and can confirm that it works.