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