Hello James and thanks for this bug report. I can see how those commented extension lines can be confusing, given that phpenmod should be preferred.
This issue is present in Debian too, and ideally it should be fixed there. This way Debian and downstream distributions other than Ubuntu will also benefit from the change, and we won't have to carry over a diff with respect to Debian, with the associated maintenance overhead.
Would you mind filing a bug with Debian please? Note that Debian already packages php8.1. Thanks!
Hello James and thanks for this bug report. I can see how those commented extension lines can be confusing, given that phpenmod should be preferred.
This issue is present in Debian too, and ideally it should be fixed there. This way Debian and downstream distributions other than Ubuntu will also benefit from the change, and we won't have to carry over a diff with respect to Debian, with the associated maintenance overhead.
Would you mind filing a bug with Debian please? Note that Debian already packages php8.1. Thanks!