diff --git a/.gitmodules b/.gitmodules index 8e68994..e31c4c7 100644 --- a/.gitmodules +++ b/.gitmodules @@ -7030,3 +7030,6 @@ [submodule "cockpit"] path = cockpit url = ../../pool/cockpit +[submodule "php8"] + path = php8 + url = ../../pool-internal/php8 diff --git a/php8 b/php8 new file mode 160000 index 0000000..058bc02 --- /dev/null +++ b/php8 @@ -0,0 +1 @@ +Subproject commit 058bc02e641c816899cdc08131a549560e8e43a6