com web/php: Add 7.3 reference: git.php
| From: | Christoph Michael Becker | Date: | Tue, 31 Jul 2018 12:19:40 +0000 |
| Subject: | com web/php: Add 7.3 reference: git.php | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-27184@lists.php.net to get a copy of this message | ||
Commit: 27298022f1cabe84d70548a7df88d60d03ddaedb
Author: Christoph M. Becker <cmbecker69@gmx.de> Tue, 31 Jul 2018 14:19:40 +0200
Parents: 0895bddde625e3c35ba1c131fa788abc96fc8c27
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=27298022f1cabe84d70548a7df88d60d03ddaedb
Log:
Add 7.3 reference
Changed paths:
M git.php
Diff:
diff --git a/git.php b/git.php
index 209b00c..fea47ca 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>