Un outil pour mettre à jour automatiquement du code PHP pour le rendre compatible avec une version plus récente.
