Comment 1 for bug 1413506

I've been digging rather deep to try and find exactly when this change happened.

Apparently the media key support was made to depend on the presence of gnome-shell, but I can't discern which git-commit actually did this (sometime in 2013 perhaps, affecting gnome 3.8+)