Version PHP minimum SPIP 3.3

Hello,

Il y a maintenant longtemps, on avait monté la version minimum de PHP 
requise pour SPIP 3.3 à PHP 5.6 parce que (de mémoire) quelques 
distributions Debian pouvaient peut être être encore dessus.

On est quelques un·es à se dire que bon, le temps est passé encore 
(comme d'hab) et que mettre (au moins) PHP 7.1 minimum apporterait un 
certain réconfort (notamment ça permet de typer les arguments et retours 
de fonctions avec goût — 
https://mlocati.github.io/articles/php-type-hinting.html). PHP 7.1 est 
sorti en fin 2016 (et n'est plus maintenu par ailleurs non plus).

Et ça éviterait de se maintenir une maintenance php 5.6 pour 10 ans peut 
être :)

Les versions PHP maintenues sont 7.3+ à ce jour.

Chez Debian, les versions PHP par défaut : https://wiki.debian.org/PHP

Jessie 8 — 5.6.40 (plus maintenu)
Stretch 9 — 7.0 (maintenu jusque 2022)
Buster 10 — 7.3

Des avis avisés ?

MM.

_______________________________________________
liste: https://listes.rezo.net/mailman/listinfo/spip-dev
doc: https://www.spip.net/
dev: https://core.spip.net/
irc://irc.freenode.net/spip