horazont/gnome-shell-extensions-mediaplayer — pull request #2 by EorlBrother (2013-01-23 15:38:31+00:00)
Title: Adds Mediaplayer Launchers to the Volume Menu

I added Launchers for the available mediaplayers at the bottom of the volume menu. I didn't add that many mediaplayers, but its only putting their names in the array, so there shouldn't be a problem adding all compatible mediaplayers.