From 27298022f1cabe84d70548a7df88d60d03ddaedb Mon Sep 17 00:00:00 2001
From: "Christoph M. Becker" <cmbecker69@gmx.de>
Date: Tue, 31 Jul 2018 14:19:40 +0200
Subject: [PATCH] Add 7.3 reference

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

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