Mike Schinkel bdfa96431c 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.

2021-07-26 16:16:13 +02:00

796 KiB

Raw Permalink Blame History

View Raw