Add php-gmp extension - Githubissues

wodby / drupal-php

PHP docker container image for Drupal

https://wodby.com/stacks/drupal

MIT License

60 stars 80 forks source link

Closed Lynncubus closed 6 years ago

Lynncubus commented 6 years ago

I've been looking to work with the web push api, but the library (https://github.com/web-push-libs/web-push-php) to work with this requires the gmp extension.

Could there be support for this?

csandanov commented 6 years ago

GMP extension has been added, available in images since -4.4.0 tag.