Abilitazione modulo gmp (gnu multiple precision)

[therflin]

E' possibile abilitare il modulo gmp (gnu multiple precision)?
http://php.net/manual/en/book.gmp.php

Serve per il supporto al nuovo standard delle web push api per il php:
https://github.com/web-push-libs/web-push-php

Quindi sarebbe indispensabile averne il supporto.

Grazie.

[therflin]

reminder...

[alemoppo]

Scusami mi ero dimenticato di risponderti, ma è stata comunque già presa in considerazione la tua richiesta.

Verrà quindi valutato se installare anche questa estensione nelle future versioni di PHP (non so però fornirti alcuna tempistica in merito).

Più che altro, sicuro sia così necessario per delle notifiche? Non potresti provare con altre librerie?

Ciao!