Hi
2015-06-21 20:58 GMT+02:00 Rasmus Lerdorf <rasmus@lerdorf.com>:
> Or we bite the bullet and fix the arginfo everywhere to make it
> consistent. It wouldn't be that hard to write a script to generate the
> bulk of it.
I think fixing arginfo sounds like the right solution, writing a
script for it should not be so trival.
--
regards,
Kalle Sommer Nielsen
kalle@php.net
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
2015-06-21 20:58 GMT+02:00 Rasmus Lerdorf <rasmus@lerdorf.com>:
> Or we bite the bullet and fix the arginfo everywhere to make it
> consistent. It wouldn't be that hard to write a script to generate the
> bulk of it.
I think fixing arginfo sounds like the right solution, writing a
script for it should not be so trival.
--
regards,
Kalle Sommer Nielsen
kalle@php.net
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php