diff --git a/git.php b/git.php index a811e49c0..e394860c3 100644 --- a/git.php +++ b/git.php @@ -101,12 +101,6 @@ site_header("Git Access", array("current" => "community"));
  • You can then check out the branch you want to build, for example:

    - PHP 5.6: - git checkout PHP-5.6 -
    - PHP 7.0: - git checkout PHP-7.0 -
    PHP 7.1: git checkout PHP-7.1
    @@ -116,6 +110,9 @@ site_header("Git Access", array("current" => "community")); PHP 7.3: git checkout PHP-7.3
    + PHP 7.4: + git checkout PHP-7.4 +
    PHP HEAD: git checkout master