; configuration for php gmp module
; priority=20
extension=gmp.so