diff --git a/git.php b/git.php index 3428bcc33..a6632fb3e 100644 --- a/git.php +++ b/git.php @@ -96,21 +96,15 @@ site_header("Git Access", array("current" => "community"));
  • You can then check out the branch you want to build, for example:

    - PHP 7.1: - git checkout PHP-7.1 -
    - PHP 7.2: - git checkout PHP-7.2 -
    - PHP 7.3: - git checkout PHP-7.3 -
    PHP 7.4: git checkout PHP-7.4
    PHP 8.0: git checkout PHP-8.0
    + PHP 8.1: + git checkout PHP-8.1 +
    PHP HEAD: git checkout master