mirror of
https://github.com/php/php-src.git
synced 2026-04-11 18:13:00 +02:00
- 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.