Migrate from gstreamer-player to gstreamer-play
The old library is deprecated as of gstreamer 1.20, likely to be removed in 1.24 (source), so we need to migrate. This commit does just that, changing as little else as possible.
The old library is deprecated as of gstreamer 1.20, likely to be removed in 1.24 (source), so we need to migrate. This commit does just that, changing as little else as possible.