Пользователь
Справедливости ради стоит заметить, что поддержка PHP 7.3 доступна и в предыдущей версии 2018.2 начиная с обновления 2018.2.5.
Очень интересно, что самого PHP 7.3 ещё нет, а его поддержка уже введена.