From 519d9fa7dd4eef019e90b96aa5ed04621dddd99e Mon Sep 17 00:00:00 2001
From: Nikita Popov <nikita.ppv@gmail.com>
Date: Mon, 28 Jan 2019 11:51:01 +0100
Subject: [PATCH] Update git.php branches

Add PHP-7.4, remove PHP-5.6 and PHP-7.0, which are EOL.
---
 git.php | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/git.php b/git.php
index a811e49c0..e394860c3 100644
--- a/git.php
+++ b/git.php
@@ -101,12 +101,6 @@ 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.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>
@@ -116,6 +110,9 @@ site_header("Git Access", array("current" => "community"));
   <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 HEAD</strong>:
   <code>git checkout master</code>
   <br><br>