Wie kann ich die PHP Version der Vagrant Shopware Box ändern?

Hi! Danke!

Weiß ich ehrlich gesagt nicht. Wie könnte ich das feststellen?