summaryrefslogtreecommitdiff
path: root/ext/gmp
diff options
context:
space:
mode:
authorYasuo Ohgaki <yohgaki@php.net>2002-10-02 02:41:21 +0000
committerYasuo Ohgaki <yohgaki@php.net>2002-10-02 02:41:21 +0000
commit2728440fdcaf73f453cac01958e4b07dd5cd987c (patch)
treea42b77cc885dd1c2d93238b9d6845aa9c1007605 /ext/gmp
parentf8f11ac0a2566f100d525fc2830b31ce20ac8f0e (diff)
downloadphp-git-2728440fdcaf73f453cac01958e4b07dd5cd987c.tar.gz
Added pg_ping()
Diffstat (limited to 'ext/gmp')
0 files changed, 0 insertions, 0 deletions