no options are available for choosing PHP extensions.
no documentation exists for installing extensions using devcontainer features