Ich glaube, von den hier angebotenen Versionen geht keine mit PHP7.

Nein, ältere Versionen war bei PHP5.3 Feierabend^^