7.1.5

hello just trying to troubleshoot this on the fly for the live upgrade hoping we can make it work and keep php 7.1.5... it might be the only incompatibility if i do those other works on the vps... it is a sort of big one tho on this project... basic enviro is arch/nginx/php7.1.5/maria db10...