Was willst du denn auch mit PHP 7.1? Das ist gerade mal vor zwei Monaten erschienen, da ist es doch klar das es da noch viele Probleme gibt. Darüber kannst du nächstes Jahr mal nachdenken, aber aktuell ergibt das keinen Sinn für dich 7.1 zu verwenden.
Okay dann werde ich es nicht verwenden 
