IIRC, I had php5 and php7 alongside eachother on Tumbleweed for a while. But, php5 is considered dead now, and php7.2 is the current stable.