Arginfo: add and use known strings for attributes#19075

Merged

DanielEScherzer merged 3 commits intophp:masterfrom

DanielEScherzer:known-attribs

Jul 15, 2025

Commits on Jul 8, 2025

gen_stub: add StringBuilder class for managing known strings
DanielEScherzer
committed
gen_stub: use StringBuilder for attribute strings
DanielEScherzer
committed
Arginfo: add and use known strings for attribute values
DanielEScherzer
committed