✏️ Editing: php_igbinary.h