переключить версию php

sudo update-alternatives --config php

There are 2 choices for the alternative php (providing /usr/bin/php).

  Selection    Path             Priority   Status

------------------------------------------------------------

* 0            /usr/bin/php7.2   72        auto mode

  1            /usr/bin/php7.1   71        manual mode

  2            /usr/bin/php7.2   72        manual mode