GitHub repository: kennedn/gnome-shell-extension-mprispanel
Primary language: JavaScript
Description: gnome shell extension that adds media controls to the gnome panel for MPRIS enabled players