I didn't check the dependencies fully, there's still a few more packages that need importing:
- php-igbinary (dependency of php-redis)
- libzip5 (dependency of php7.2-zip, the version in stretch isn't high enough)
- php-apcu-bc (recommends of php-apcu, and it provides a back-compat layer for people with code for the old apc extension)