mirror of
https://github.com/php/php-src.git
synced 2026-03-26 01:02:25 +01:00
This would be either $end or "end of file" depending on bison version. Explicitly specify "end of command" instead, which seems more appropriate in context.