media.mpv should send MediaPlayRequestEvent with player and plugin parameters

4 jobs for master in 5 minutes and 27 seconds (queued for 11 seconds)
Status Name Job ID Coverage
  Build
passed sync-to-github #287

00:00:11

 
  Test
passed run-tests #288

00:00:24

 
  Deploy
passed rebuild-docs #289

00:04:21

passed update-aur-packages #290

00:00:29