Correct, if you use the latest NOOBS you will get the latest Raspbian version which is Buster not Stretch. Buster installs PHP7.3 not 7.0 see the Raspberry Pi 4 thread about moving to using more generic “php-” package names and letting the package manager install the correct packages.