/usr/share/php/irods/prods/src/prods.ini is in php-irods-prods 3.3.0~beta1-2ubuntu1.
This file is owned by root:root, with mode 0o777.
It is a symlink to /etc/prods.ini
/etc/prods.ini