Edited version check in extension.js

Version check allows gnome shell version 3.8, 3.10 and 3.12. Not sure if the version check is necessary anyway.