Comment 63 for bug 892316

funny, no one seemed to notice that this "/<email address hidden>/extension.js" is changed to "/<email adress hidden>/extension.js" for unregistered Readers :-) That's maybe why so many people ask how to path it.

I had to create an Launchpad-Account and login to see how it should be:

sudo patch /usr/share/gnome-shell/extensions/mediaplayer[ät]linuxmint.com/extension.js mgse-mediaplayer.diff
(change [ät] to @)

I hope I could help.
Now I'm trying. Also have/had that annoying issue. (Mint12_64).