New comment by paper42 on void-packages repository

https://github.com/void-linux/void-packages/pull/31544#issuecomment-1079476232

Comment:
I didn't see this PR, sorry.

> the bigger issue I have with this MR is that it'll break set ups that already have the extensions defined in php.ini

Hmm, noone complained since January when I merged the update.