PHP 8 TypeError: Unsupported operand types: string * int in video_cron_queue_info()

Problem/Motivation

I'm using this module on a PHP 8.2 instance (Drupal 7.101) and I got a 500 error when running cron, when I looked in the "Recent log messages" page, I found this error:

TypeError: Unsupported operand types: string * int in video_cron_queue_info() (/docroot/sites/all/modules/contrib/video/video.module).

I'm not sure if the 7.x-2.x branch is still supported here, but this can be fixed by casting to int the values returned from variable_get:

 time' => 60 * (int) variable_get('video_transcode_timeout', 5) * (int) variable_get('video_ffmpeg_instances', 5),