diff --git a/git.php b/git.php index 7a9f27d1b..fbe6a9bc6 100644 --- a/git.php +++ b/git.php @@ -97,18 +97,18 @@ site_header("Git Access", array("current" => "community"));
  • 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