Manni hat soeben den PHP-Extended-Support deaktiviert. Das spart uns jährlich mehrere Dutzend Euros!