/opt/alt/php72/usr/share/php
.
Edit
..
Edit