Commit 37a7e60429a4ff843951a71051cec31486b29220

Authored by David RENÉ
1 parent 8fcf167e

[~] remove the empty HTML core attribute. It's no need anymore since we made man…

…y helper function to let have HTML tag without attribute
Showing 1 changed file with 1 additions and 1 deletions   Show diff stats
web/types/making_a_web_site.anubis
@@ -641,7 +641,7 @@ public type HTML_tooltip: @@ -641,7 +641,7 @@ public type HTML_tooltip:
641 641
642 642
643 public type CoreAttrs: 643 public type CoreAttrs:
644 - empty, 644 + //empty,
645 id (String), //A unique identifier for the element. 645 id (String), //A unique identifier for the element.
646 //There must not be multiple elements in a document that have the same id value. 646 //There must not be multiple elements in a document that have the same id value.
647 class (String), //A name of a classification, or list of names of classifications, to which the element belongs 647 class (String), //A name of a classification, or list of names of classifications, to which the element belongs