Hello, shouldn't be this code removed as well?
https://github.com/php/php-src/blob/master/ext/ext_skel_win32.php#L38-L51I can create PR but I'm not sure if I'm correct. Also, probably it just would be faster to remove it for someone with php-src karma than merge PR.
Thanks, Maciej. -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php