From 7fc7b4d8982c2b3a1650057e82bc96316573a888 Mon Sep 17 00:00:00 2001 From: Pierrick Charron Date: Mon, 9 Jun 2025 21:51:32 -0400 Subject: [PATCH] Update branches in git.php --- git.php | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/git.php b/git.php index 429974fce7..03e1d999c2 100644 --- a/git.php +++ b/git.php @@ -99,20 +99,20 @@
  • 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