Video player formatter no longer shows up for video upload

Problem/Motivation

After upgrading to Video 3.x as part of my upgrades to Drupal 10, the Video Player formatter stopped working. I switched to "HTML5 Video Player Compact" which is `video_player_list` thinking it is the same thing. It turns out that it is not. On studying the code and git blame, I found this problem was introduced in #3101969: Drupal 9 Deprecated Code Report.

You can see the problem in the commit at this link. It is probably a copy-paste error where the widget name in the `if` condition was inadvertently changed.

Steps to reproduce

- Create a multi-value video field and set the widget to "Video Upload".
- Save and go to Manage Display tab. The "HTML5 Video Player" formatter is not visible.

Proposed resolution

Fix the `if` condition.

Remaining tasks

- Write patch.