/.
/etc
/etc/php
/etc/php/7.3
/etc/php/7.3/mods-available
/etc/php/7.3/mods-available/propro.ini
/usr
/usr/include
/usr/include/php
/usr/include/php/20180731
/usr/include/php/20180731/ext
/usr/include/php/20180731/ext/propro
/usr/include/php/20180731/ext/propro/php_propro.h
/usr/include/php/20180731/ext/propro/php_propro_api.h
/usr/lib
/usr/lib/php
/usr/lib/php/20180731
/usr/lib/php/20180731/propro.so
/usr/share
/usr/share/doc
/usr/share/doc/php7.3-propro
/usr/share/doc/php7.3-propro/changelog.Debian.gz
/usr/share/doc/php7.3-propro/copyright