Extensions are disabled in `php.ini` and they still show up on `phpinfo.php`... why?

The enabled extensions are listed in a different section of phpinfo.