I believe in production environment we use a backported ffmpeg and libvpx, but using a Debian 10 Buster base image should resolve this as well I think.

I think (though we're probably a long ways from it) we're aiming at a very (very) fuzzy kind of production-likeness, so I guess getting that custom build into the stretch image would be a good idea.

It also doesn't seem like too big a deal to supply an (optional-for-now) image based on wikimedia-buster, so I'll that to the list.

@MoritzMuehlenhoff should be able to offer good guidance.

Looking for ffmpeg in Puppet, it turns out that for Stretch we have backported libvpx 1.7.0 and ffmpeg with the row-mt thing. T190333

The packages can be fetched using the apt component component/vp9. Probably something such as:

deb http://apt.wikimedia.org/wikimedia stretch-wikimedia component/vp9

And you will need to add an apt pin configuration to set the priority to 1001 for the packages you want fetched from that component. I can't remember off hand how to do it sorry.

The puppet code:

class profile::mediawiki::videoscaler()
{
    include ::mediawiki::users

    # Backport of libvpx 1.7 and row-mt support, can be removed once
    # video scalers are migrated to Debian buster
    if os_version('debian == stretch') {

        # ffmpeg has a dependency on the base version of the release, so e.g. (>= 7:3.2.14)
        # This isn't sufficient it make apt pull in our patched version, so explicitly add
        # pinning for the various ffmpeg libraries as well
        $ffmpeg_packages = ['ffmpeg', 'libavcodec57', 'libavdevice57', 'libavfilter6', 'libavformat57',
                            'libavresample3', 'libpostproc54', 'libswresample2', 'libavutil55',
                            'libswscale4']

        apt::package_from_component { 'ffmpeg-vp9':
            component => 'component/vp9',
            packages  => $ffmpeg_packages,
        }
    }
}

0.02€ :]

I should be able to pair on that one ;]

Change 597826 had a related patch set uploaded (by Brennen Bearnes; owner: Brennen Bearnes):
[releng/dev-images@master] add stretch-php72-videoscaler for TimedMediaHandler

https://gerrit.wikimedia.org/r/597826

Change 597826 merged by Jforrester:
[releng/dev-images@master] add jobrunner & tweak settings for TimedMediaHandler

https://gerrit.wikimedia.org/r/597826