Describe the bug

Installing event extension throws an error:

PHP Warning: PHP Startup: Unable to load dynamic library '/usr/lib/php/20210902/event.so' (tried: /usr/lib/php/20210902/event.so (/usr/lib/php/20210902/event.so: undefined symbol: socket_ce), /usr/lib/php/20210902//usr/lib/php/20210902/event.so.so (/usr/lib/php/20210902//usr/lib/php/20210902/event.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0

Maybe something going on here with this doubling? /usr/lib/php/20210902//usr/lib/php/20210902/event.so.so (/usr/lib/php/20210902//usr/lib/php/20210902/event.so.so: cannot open shared object file: No such file or directory)

Version

• I have checked releases, and the bug exists in the latest patch version of v1 or v2.
• v2
• v1

Runners

• GitHub Hosted
• Self Hosted

Operating systems

Ubuntu 22.04

PHP versions

8.1.17

To Reproduce

- name: Setup PHP
  uses: shivammathur/setup-php@v2
  with:
    php-version: 8.1
      extensions: calendar, event, exif, gd, imagick, intl, mysqli, soap, sockets, opcache, zip
      tools: composer

Expected behavior

The event extension to be installed and enabled.

Screenshots/Logs

Additional context

Just a plain PHP setup to run paratest.

Are you willing to submit a PR?

If I knew how to fix it.