PHP 7.2 ist erschienen, und ich möchte von PHP 7.1 auf meinem Ubuntu-Server auf PHP 7.2 upgraden. Wer noch PHP 7.0 besitzt, kann diese Anleitung auch…
