mirror of
https://github.com/php/php-src.git
synced 2026-04-04 06:32:49 +02: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.