P: /opt/alt/php71/usr/include/php/ext/dom

[ .. ]