1
0
mirror of https://github.com/php/php-src.git synced 2026-03-24 00:02:20 +01:00

Merge branch 'PHP-8.5'

* PHP-8.5:
  Fix GH-20022: docker-php-ext-install DOM failed
This commit is contained in:
Niels Dossche
2025-10-01 13:06:03 +02:00

View File

@@ -13,7 +13,7 @@
#include <Zend/zend_API.h>
#include <php.h>
#include "ext/dom/lexbor/selectors-adapted/selectors.h"
#include "lexbor/selectors-adapted/selectors.h"
#include "../../namespace_compat.h"
#include "../../domexception.h"
#include "../../php_dom.h"