Hi 2015-06-21 20:58 GMT+02:00 Rasmus Lerdorf <ras...@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 ka...@php.net -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php