JS: fix Element.tagName property (#545)

This commit is contained in:
Ivan Hetman 2020-11-23 10:50:21 +02:00 committed by GitHub
parent 98f5c5da73
commit 14ca8ecdbb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -18,8 +18,6 @@ package org.teavm.jso.dom.xml;
import org.teavm.jso.JSProperty;
public interface Element extends Node {
String getTagName();
String getAttribute(String name);
void setAttribute(String name, String value);
@ -59,4 +57,7 @@ public interface Element extends Node {
@JSProperty
void setId(String id);
@JSProperty
String getTagName();
}