mirror of
https://github.com/php/php-src.git
synced 2026-04-21 15:08:16 +02:00
d64c9d2823
- Add a test if argument was given (if it is optional) before trying to fetch a resource and a note that something should be done if it wasn't. - Some cosmetic fixes in the code generated. - Some other small fixes in the code generated, already forgotten.