Php/docs/gmp.setup

From Get docs