Zum Hauptinhalt gehen

PHP CLI-Version anpassen