In my thoughts it’s easier to just change the required PHP version in e.g. remi repo, remove PHP 7.2 and install php.
For Centos for example
No further adjustments needed.
In my thoughts it’s easier to just change the required PHP version in e.g. remi repo, remove PHP 7.2 and install php.
For Centos for example
No further adjustments needed.