From 1fcd78c2817cf1fbf1a1de2ddec1350be4e26491 Mon Sep 17 00:00:00 2001
From: Ben Ramsey <ramsey@php.net>
Date: Wed, 8 Jun 2022 17:44:46 -0500
Subject: [PATCH] Add PHP-8.1 to the Git steps page

---
 git.php | 12 +++---------
 1 file changed, 3 insertions(+), 9 deletions(-)

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"));
  <li>
   You can then check out the branch you want to build, for example:
   <br><br>
-  <strong>PHP 7.1</strong>:
-  <code>git checkout PHP-7.1</code>
-  <br>
-  <strong>PHP 7.2</strong>:
-  <code>git checkout PHP-7.2</code>
-  <br>
-  <strong>PHP 7.3</strong>:
-  <code>git checkout PHP-7.3</code>
-  <br>
   <strong>PHP 7.4</strong>:
   <code>git checkout PHP-7.4</code>
   <br>
   <strong>PHP 8.0</strong>:
   <code>git checkout PHP-8.0</code>
   <br>
+  <strong>PHP 8.1</strong>:
+  <code>git checkout PHP-8.1</code>
+  <br>
   <strong>PHP HEAD</strong>:
   <code>git checkout master</code>
   <br><br>