passer de php 7.0 à 7.1 sur un raspberry

Bonjour à toutes et à tous,

Sur mon Raspberry Pi 3B+, j'ai installé php 7.0 qui est dans les dépôts de la version "Stretch". Je souhaite évoluer vers php 7.1. J'ai trouver un lien expliquant ce qu'il faut faire, mais mon anglais n'étant pas des plus performants, j'ai peur de commettre des contresens. Dans ce qui est expliqué, je ne sais pas si cela amène à passer de "Stretch" à "Buster" ; ce que je ne voudrais pas faire.

Par ailleurs, cette version 7.1 est-elle valide pour "raspbian"

Pouvez-vous m'éclairer sur ce qui est dit précisément ?

Cordialement.

Pierre

Bonjour, votre lien vous proposes de passer de Stretch à Buster, à vous de voir si vous voulez upgrader votre PI3 vers la version stable actuelle.
J'imagine qu'il est possible de le faire facilement en Debian/PI