How to install php_gmp in MacOS catalina, Xampp VM and php7.3

Question

I am using Web Push library to send push notification but getting error -

Warning: [WebPush] gmp extension is not loaded but is required for sending push