Thank you! I was really concerned.
BTW, Ubuntu 18.04 update to php 7.2 just came through.
The following packages will be upgraded:
php7.2 php7.2-cli php7.2-common php7.2-curl php7.2-dev php7.2-fpm php7.2-gd
php7.2-imap php7.2-intl php7.2-json php7.2-mbstring php7.2-opcache
php7.2-pspell php7.2-readline php7.2-soap php7.2-sqlite3 php7.2-xml
php7.2-zip