[pigeon] a few tweaks to the output after having upgraded video_player#663

fluttergithubbot merged 2 commits intoflutter:mainflutter/packages:mainfrom

gaaclarke:pigeon-tweaks-after-video-playergaaclarke/packages:pigeon-tweaks-after-video-playerCopy head branch name to clipboard