Merge branch 'raise_master_min_php_to_72' into 'master'

versions: Update PHP dependencies for Master to 7.2

See merge request integration/nightlyjobs!13

src/org/moodle/ci/versions/Master.groovy

@@ -5,7 +5,6 @@ class Master extends Version {
         this.name = "master"
         this.defaultBranch = "master"
         this.supportedPHPVersions = [
-            "7.1",
             "7.2",
             "7.3",
         ]