cnervi/gnome-shell-antisocial-menu — pull request #7 by pb82 (2013-08-26 08:52:30+00:00)
Title: Gnome Shell 3.8.2 support

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