Upgrade auf PHP7 unter Ubuntu 14.04 LTS

Wie lange es noch dauert, bis PHP 7 offiziell in Ubuntu verfügbar ist, weiß ich nicht. Da ich es besonders wegen der höheren Geschwindigkeit und des geringeren Speicherverbrauchs gern schon benutzen möchte, habe ich es mit Hilfe eines zusätzlichen PPA installiert. Hier ist die (englische) Anleitung dazu.