com web/php: Fix typo in anchor names: ChangeLog-7.php
| From: | Sara Golemon | Date: | Tue, 04 Jun 2019 16:38:48 +0000 |
| Subject: | com web/php: Fix typo in anchor names: ChangeLog-7.php | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-28143@lists.php.net to get a copy of this message | ||
Commit: 4de5cedee8aef03cc6757d9d87297d638fcb1d6b
Author: Sara Golemon <pollita@php.net> Tue, 4 Jun 2019 12:38:48 -0400
Parents: fb9007c35ac7d71a758d53a367d0aeafd40a17f6
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=4de5cedee8aef03cc6757d9d87297d638fcb1d6b
Log:
Fix typo in anchor names
Changed paths:
M ChangeLog-7.php
Diff:
diff --git a/ChangeLog-7.php b/ChangeLog-7.php
index fda53b1..46d671f 100644
--- a/ChangeLog-7.php
+++ b/ChangeLog-7.php
@@ -9,7 +9,7 @@ site_header("PHP 7 ChangeLog", array("current" =>
"docs", "css" => array("change
<a href="#PHP_7_3">7.3</a> | <a href="#PHP_7_2">7.2</a>
<a href="#PHP_7_1">7.1</a> | <a href="#PHP_7_0">7.0</a>
-<a name="PHP_7.3"/>
+<a name="PHP_7_3"/>
<section class="version" id="7.3.6"><!-- {{{ 7.3.6 -->
<h3>Version 7.3.6</h3>
<b><?php release_date('30-May-2019'); ?></b>
@@ -793,7 +793,7 @@ site_header("PHP 7 ChangeLog", array("current" =>
"docs", "css" => array("change
</ul>
<!-- }}} --></section>
-<a name="PHP_7.2"/>
+<a name="PHP_7_2"/>
<section class="version" id="7.2.19"><!-- {{{ 7.2.19 -->
<h3>Version 7.2.19</h3>
<b><?php release_date('30-May-2019'); ?></b>
@@ -2132,7 +2132,7 @@ site_header("PHP 7 ChangeLog", array("current" =>
"docs", "css" => array("change
</ul>
<!-- }}} --></section>
-<a name="PHP_7.1"/>
+<a name="PHP_7_1"/>
<section class="version" id="7.1.30"><!-- {{{ 7.1.30 -->
<h3>Version 7.1.30</h3>
<b><?php release_date('30-May-2019'); ?></b>
@@ -4274,7 +4274,7 @@ site_header("PHP 7 ChangeLog", array("current" =>
"docs", "css" => array("change
</ul>
<!-- }}} --></section>
-<a name="PHP_7.0"/>
+<a name="PHP_7_0"/>
<section class="version" id="7.0.33"><!-- {{{ 7.0.33 -->
<h3>Version 7.0.33</h3>
<b><?php release_date('06-Dec-2018'); ?></b>