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

Was bekommst Du den für Infos mit denen Du nichts anfangen kannst?