today I changed from php7.2 to 7.0 for testing. Then I tried to change back to 7.2 and php -v
outputs
PHP 7.2.6-1+ubuntu16.04.1+deb.sury.org+1 (cli) (built: Jun 11 2018 14:59:25) ( NTS ) Copyright (c) 1997-2018 The PHP Group
Zend Engine v3.2.0, Copyright (c) 1998-2018 Zend Technologies
with Zend OPcache v7.2.6-1+ubuntu16.04.1+deb.sury.org+1, Copyright (c) 1999-2018, by Zend Technologies
and phpinfo();
outputs