La dernière version du langage de programmation PHP, corrigeant plusieurs bugs et apportant de nouvelles fonctionnalités