In my case, my problem was that I'd updated the php.ini at /etc/php/7.3/cli/php.ini
instead of at /etc/php/7.3/fpm/php.ini
.
(CLI is not the same as FPM.)
My site behaved properly after I updated the FPM php.ini and ran sudo service php7.3-fpm restart
.