mirror of
https://github.com/php/php-src.git
synced 2026-03-25 08:42:29 +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.