There was a whole list of problems:

• First of all, wrong modules version installed. Since I had PHP 8.0.3 I had to import the 80 version of the modules, but instead I installed the 83.
• Second, didn't include php8ts.php.
• Third, after changing the modules, their name changed too, and the filenames specified in the php.ini wouldn't match what it actually had.