hermanus/gnome-shell-extensions — pull request #4 by Qalthos (2013-12-11 15:56:00+00:00)
Title: Works for 3.8, 3.10

I know you don't use or maintain this, but here's the latest updates to keep the extension working.