Temporary backing out change for mozilla's text content to see if that helps fix the build.
git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@3707 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/user/src/com/google/gwt/dom/client/DOMImplMozilla.java b/user/src/com/google/gwt/dom/client/DOMImplMozilla.java
index ebb6003..db78f0f 100644
--- a/user/src/com/google/gwt/dom/client/DOMImplMozilla.java
+++ b/user/src/com/google/gwt/dom/client/DOMImplMozilla.java
@@ -71,11 +71,6 @@
var style = $wnd.getComputedStyle($doc.documentElement, '');
return parseInt(style.marginTop) + parseInt(style.borderTopWidth);
}-*/;
-
- @Override
- public native String getInnerText(Element elem) /*-{
- return elem.textContent;
- }-*/;
@Override
public native boolean isOrHasChild(Element parent, Element child) /*-{
@@ -83,11 +78,6 @@
// http://www.quirksmode.org/blog/archives/2006/01/contains_for_mo.html
return (parent === child) || !!(parent.compareDocumentPosition(child) & 16);
}-*/;
-
- @Override
- public native void setInnerText(Element elem, String text) /*-{
- elem.textContent = text || '';
- }-*/;
@Override
public native String toString(Element elem) /*-{
