diff options
Diffstat (limited to 'ext/gmp/gmp.c')
-rw-r--r-- | ext/gmp/gmp.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/ext/gmp/gmp.c b/ext/gmp/gmp.c index aaed49bad1..a5dc03b140 100644 --- a/ext/gmp/gmp.c +++ b/ext/gmp/gmp.c @@ -137,9 +137,6 @@ static void gmp_efree(void *ptr, size_t size) */ ZEND_MINIT_FUNCTION(gmp) { -/* Remove comments if you have entries in php.ini - REGISTER_INI_ENTRIES(); -*/ le_gmp = zend_register_list_destructors_ex(_php_gmpnum_free, NULL, GMP_RESOURCE_NAME, module_number); |