Des pirates ont hacké le code source de PHP, des millions de sites ont évité la catastrophe