mirror of
https://github.com/php/web-php.git
synced 2026-03-23 23:02:13 +01:00
Change <a name="..."> to <a id="...">
PhpStorm flagged @name as a deprecated HTML attribute, so it seemed appropriate to change then to @id. In cases where there were both a @name and @id attribute and their values were the same, this commit removes the @name attribute (there were no cases where both @name and @id attributes existed but having different values.) Closes GH-416.
This commit is contained in:
@@ -4,7 +4,7 @@ include_once __DIR__ . '/include/prepend.inc';
|
||||
site_header("Contact", array("current" => "community"));
|
||||
?>
|
||||
|
||||
<a name="ads"></a>
|
||||
<a id="ads"></a>
|
||||
<h1>Advertising at PHP.net and mirror sites</h1>
|
||||
|
||||
<p>
|
||||
@@ -13,7 +13,7 @@ site_header("Contact", array("current" => "community"));
|
||||
deals.
|
||||
</p>
|
||||
|
||||
<a name="contact"></a>
|
||||
<a id="contact"></a>
|
||||
<h1>Contact</h1>
|
||||
|
||||
<p>
|
||||
|
||||
Reference in New Issue
Block a user