Description:
------------
when compiling PHP7.4 like this:

rm -rf php-src && \
git clone -b 'PHP-7.4' --depth 1 https://github.com/php/php-src.git && \
cd 'php-src' && \
./buildconf && \
./configure --disable-all --disable-cgi --enable-cli --with-libxml && \
make clean && \
make -j $(nproc) && \
rm -rfv ../php && \
cp -v ./sapi/cli/php ../php


the resulting php binary does not have DOMDocument available.. i'm pretty sure DOMDocument is supposed to be there when --with-libxml is provided? i guess its a bug with the combo --disable-all + --with-libxml ? 



Test script:
---------------
./php -r 'new DOMDocument;'

Expected result:
----------------
(blank)

Actual result:
--------------
[root@ip-192-168-1-1 php]# cat compile_bugreport.sh
yum install autoconf bison re2c libxml2 gcc && \
rm -rf php-src && \
git clone -b 'PHP-7.4' --depth 1 https://github.com/php/php-src.git && \
cd 'php-src' && \
./buildconf && \
./configure --disable-all --disable-cgi --enable-cli --with-libxml && \
make clean && \
make -j $(nproc) && \
rm -rfv ../php && \
cp -v ./sapi/cli/php ../php
[root@ip-192-168-1-1 php]# ./php -r 'new DOMDocument;'

Fatal error: Uncaught Error: Class 'DOMDocument' not found in Command line code:1
Stack trace:
#0 {main}
  thrown in Command line code on line 1