File php7-attribute-unused.patch of Package php7

diff -purN a/ext/libxml/libxml.c b/ext/libxml/libxml.c
--- a/ext/libxml/libxml.c	2022-10-31 11:36:06.000000000 +0100
+++ b/ext/libxml/libxml.c	2025-10-17 16:37:23.451934509 +0200
@@ -476,7 +476,7 @@ php_libxml_input_buffer_create_filename(
 static xmlOutputBufferPtr
 php_libxml_output_buffer_create_filename(const char *URI,
                               xmlCharEncodingHandlerPtr encoder,
-                              int compression ATTRIBUTE_UNUSED)
+                              int compression ZEND_ATTRIBUTE_UNUSED)
 {
 	xmlOutputBufferPtr ret;
 	xmlURIPtr puri;