From 74bcad4c770d95f21b7fbeeedbd76d943bb83f23 Mon Sep 17 00:00:00 2001
From: Sara Golemon <pollita@php.net>
Date: Tue, 18 Jul 2017 10:50:52 -0400
Subject: [PATCH] Add 7.1/7.2 references, remove 7.4/7.5 references

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

diff --git a/git.php b/git.php
index 7a9f27d1b..fbe6a9bc6 100644
--- a/git.php
+++ b/git.php
@@ -97,18 +97,18 @@ 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 5.4</strong>:
-  <code>git checkout PHP-5.4</code>
-  <br>
-  <strong>PHP 5.5</strong>:
-  <code>git checkout PHP-5.5</code>
-  <br>
   <strong>PHP 5.6</strong>:
   <code>git checkout PHP-5.6</code>
   <br>
   <strong>PHP 7.0</strong>:
   <code>git checkout PHP-7.0</code>
   <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 HEAD</strong>:
   <code>git checkout master</code>
   <br><br>