Hi I'm thinking we can install php 7.1 on Jessie too since php 7, would not be under the name php but under php7.0, so php7.1 would be the name, so we can switch between php 5.6, 7.0, and 7.1 if we install it too on Jessie.