Task is to upgrade [url removed, login to view] from PHP 5.6 to the latest version of PHP 7. This work will consist of two parts, in this order:
1. download the [url removed, login to view] code from the repo we use, and update the Vagrantfile so that it is also upgraded to PHP 7. If you aren't familiar with Vagrant, do not bid! Before we move on to step 2 I will check your changes and make sure that the Vagrantfile still produces a working local environment.
2. Upgrade PHP on the live server (there's only one). Ideally you can just upgrade version on the existing server, but if necessary we will provision a new server and move everything over.
Note that when I say upgrade to PHP 7, I mean that everything that works now should still work after the upgrade! That means ensuring that things like MariaDb, phpmyadmin, and various PHP modules (such as gd and gzip) must still be installed and work. You aren't responsible for making any changes to the PHP code itself; I will handle that part of the upgrade.