[spip-dev] controle de la version de php

Salut la liste,

on ne peut pas empêcher certains plugins de ne pas être compatible avec PHP 5.1.0 - C’est en particulier le cas du plugin Adminer qui nécessite PHP 5.2 parce qu’il utilise la fonction array-fill-keys()

Est-il prévu de rajouter un élément à paquet.xml qui permette de contrôler cela ?