I'm trying to update php7.3.13 to 7.3.17 on ubuntu 18.04
I have done
apt-get update
apt-get install php7.3
It said 7.3.17 package is unpacked but after restarting apache I still get 7.3.13 in phpinfo and php-v.
Trying apt show -a php7.3 | grep Version gives Version: 7.3.17-1+ubuntu18.04.1+deb.sury.org+1
apt-get install php7.3=7.3.17-1+ubuntu18.04.1+deb.sury.org+1
gives php7.3 is already the newest version (7.3.17-1+ubuntu18.04.1+deb.sury.org+1).
but still php -v and phpinfo show the version is .13
What is missing?