From d14f50d07ff725f37d287c547b12b5ecd41afa14 Mon Sep 17 00:00:00 2001
From: Mike Poindexter <staticsnow@gmail.com>
Date: Mon, 20 Jul 2015 18:19:29 -0700
Subject: [PATCH] Add getHeader to XmlHttpRequest

---
 teavm-dom/src/main/java/org/teavm/dom/ajax/XMLHttpRequest.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/teavm-dom/src/main/java/org/teavm/dom/ajax/XMLHttpRequest.java b/teavm-dom/src/main/java/org/teavm/dom/ajax/XMLHttpRequest.java
index b368f70a8..03d18674f 100644
--- a/teavm-dom/src/main/java/org/teavm/dom/ajax/XMLHttpRequest.java
+++ b/teavm-dom/src/main/java/org/teavm/dom/ajax/XMLHttpRequest.java
@@ -50,6 +50,8 @@ public interface XMLHttpRequest extends JSObject {
 
     String getAllResponseHeaders();
 
+    String getResponseHeader(String name);
+
     @JSProperty("onreadystatechange")
     void setOnReadyStateChange(ReadyStateChangeHandler handler);