From 14ca8ecdbb2fc612b6c1b978a0c7121ea391e149 Mon Sep 17 00:00:00 2001
From: Ivan Hetman <Ihromant@users.noreply.github.com>
Date: Mon, 23 Nov 2020 10:50:21 +0200
Subject: [PATCH] JS: fix Element.tagName property (#545)

---
 jso/apis/src/main/java/org/teavm/jso/dom/xml/Element.java | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/jso/apis/src/main/java/org/teavm/jso/dom/xml/Element.java b/jso/apis/src/main/java/org/teavm/jso/dom/xml/Element.java
index 679321058..758069628 100644
--- a/jso/apis/src/main/java/org/teavm/jso/dom/xml/Element.java
+++ b/jso/apis/src/main/java/org/teavm/jso/dom/xml/Element.java
@@ -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();
 }