v2022-12-02

What's Changed

• remove the loading of php-with-extensions/lib/php.ini by @gdamjan in #18
• bump to 2022-12-02 fa9c614ff by @gdamjan in #19

Full Changelog: v2022-10-15...v2022-12-02