diff --git a/git.php b/git.php index 7a9f27d1bf..fbe6a9bc63 100644 --- a/git.php +++ b/git.php @@ -97,18 +97,18 @@
  • You can then check out the branch you want to build, for example:

    - PHP 5.4: - git checkout PHP-5.4 -
    - PHP 5.5: - git checkout PHP-5.5 -
    PHP 5.6: git checkout PHP-5.6
    PHP 7.0: git checkout PHP-7.0
    + PHP 7.1: + git checkout PHP-7.1 +
    + PHP 7.2: + git checkout PHP-7.2 +
    PHP HEAD: git checkout master