Revision ddba987e516b74aaad589ce4865a16b2ef206b4b

Committed on 13/10/2017 8:29 am by André R <ar@ez.no> [GitHub Diff]

[Platform.sh] Update to use PHP 7.1 to align with Docker images