mirror of
https://github.com/php/php-src.git
synced 2026-03-24 16:22:37 +01:00
Don't show <unused>, just don't display anything instead. Dump nums used in op1/op2/result, e.g. for SEND, RECV etc. Split the switch into three parts, one for each operand.