Derroylo/gitpod-tool

Check if all php packages are installed when switching php version

Derroylo opened this issue · 0 comments

When switching to an older version of php it can happen that not all packages have been installed that have been defined in the dockerfile as these are mostly only installed in the most recent version of php. So make sure that when switching to an older version that these packages are also installed.