php, Debian & deb.sury.org

Unter anderen für diesen Server setze ich auf Debian - aktuell Stretch - und nginx als Webserver. Für PHP nutze ich das Repository deb.sury.org von Ondřej Surý, dem Maintainer der offiziellen PHP-Core-Pakete für Debian. Standardgemäß liefert Stretch nur PHP 7.0 aus. Aktuell ist zum jetzigen Zeitpunkt 7.…