]> granicus.if.org Git - php/commit
Fix return type of zend_ini_dtor
authorNikita Popov <nikita.ppv@gmail.com>
Sat, 2 Jun 2018 11:41:09 +0000 (13:41 +0200)
committerNikita Popov <nikita.ppv@gmail.com>
Sat, 2 Jun 2018 11:41:09 +0000 (13:41 +0200)
commitadb09c98d2fa0cf16ef755e6263d3c55f3deedc9
tree110057ad44ef2a7f11f0b1f25944472af7452318
parentc03ee1923057b62666a6a4144a9b2920e38b8765
Fix return type of zend_ini_dtor
Zend/zend_ini_parser.y