✏️ Editing: php_json_scanner_defs.h