diff --git a/git.php b/git.php index 429974fce..03e1d999c 100644 --- a/git.php +++ b/git.php @@ -99,20 +99,20 @@ site_header("Git Access", ["current" => "community"]);
  • You can then check out the branch you want to build, for example:

    - PHP 7.4: - git checkout PHP-7.4 + PHP HEAD: + git checkout master
    - PHP 8.0: - git checkout PHP-8.0 + PHP 8.4: + git checkout PHP-8.4
    - PHP 8.1: - git checkout PHP-8.1 + PHP 8.3: + git checkout PHP-8.3
    PHP 8.2: git checkout PHP-8.2
    - PHP HEAD: - git checkout master + PHP 8.1: + git checkout PHP-8.1