Fix way to set string to interned for PHP 7.3

Hailong · nikic · commit d265f2551b78 · 2022-06-10T21:50:47.000+02:00
diff --git a/Book/php7/extensions_design/globals_management.rst b/Book/php7/extensions_design/globals_management.rst
@@ -372,7 +372,7 @@ Here is the patched example introducing true globals, we just show the diff abou
         *result = zend_string_init(str, strlen(str), 1);
         zend_string_hash_val(*result);
 
-        GC_FLAGS(*result) |= IS_INTERNED;
+        GC_ADD_FLAGS(*result, IS_STR_INTERNED);
     }
 
     static void pib_rnd_init(void)

Original file line number	Diff line number	Diff line change
`@@ -372,7 +372,7 @@ Here is the patched example introducing true globals, we just show the diff abou`
`372`	`372`	`*result = zend_string_init(str, strlen(str), 1);`
`373`	`373`	`zend_string_hash_val(*result);`
`374`	`374`
`375`		`- GC_FLAGS(*result) \|= IS_INTERNED;`
	`375`	`+ GC_ADD_FLAGS(*result, IS_STR_INTERNED);`
`376`	`376`	`}`
`377`	`377`
`378`	`378`	`static void pib_rnd_init(void)`