https://integration.wikimedia.org/ci/job/php-compile-php85/1/console
00:00:18.121 config.status: executing libtool commands 00:00:18.201 + make 00:00:18.204 /bin/bash /src/libtool --tag=CC --mode=compile cc -I. -I/src -I/usr/include/php/20250925 -I/usr/include/php/20250925/main -I/usr/include/php/20250925/TSRM -I/usr/include/php/20250925/Zend -I/usr/include/php/20250925/ext -I/usr/include/php/20250925/ext/date/lib -DHAVE_CONFIG_H -Wall -Werror -D_GNU_SOURCE -DZEND_COMPILE_DL_EXT=1 -c /src/wmerrors.c -o wmerrors.lo -MMD -MF wmerrors.dep -MT wmerrors.lo 00:00:18.281 libtool: compile: cc -I. -I/src -I/usr/include/php/20250925 -I/usr/include/php/20250925/main -I/usr/include/php/20250925/TSRM -I/usr/include/php/20250925/Zend -I/usr/include/php/20250925/ext -I/usr/include/php/20250925/ext/date/lib -DHAVE_CONFIG_H -Wall -Werror -D_GNU_SOURCE -DZEND_COMPILE_DL_EXT=1 -c /src/wmerrors.c -MMD -MF wmerrors.dep -MT wmerrors.lo -fPIC -DPIC -o .libs/wmerrors.o 00:00:18.532 In file included from /src/wmerrors.c:11: 00:00:18.532 /src/php_wmerrors.h:20:10: fatal error: ext/standard/php_smart_string_public.h: No such file or directory 00:00:18.532 20 | #include "ext/standard/php_smart_string_public.h" 00:00:18.532 | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 00:00:18.532 compilation terminated. 00:00:18.539 make: *** [Makefile:207: wmerrors.lo] Error 1 00:00:18.751 Build step 'Execute shell' marked build as failure