Shell extension works with gnome-shell 3.8.

Support for older versions is not tested.