Piratas informáticos han violado el repositorio principal de Git del lenguaje de programación PHP, git.php.net, agregando una puerta trasera al código fuente.