gnome-shell-extensions-mediaplayer 此扩展名已被撤消,存储库已存档。 如果您希望接管维护,请联系仓库。