[whatwg] translate attribute conflicts with http://www.winktoolkit.org/documentation/symbols/HTMLElement.html#translate

[Adam Barth]

WebKit recently implemented
http://www.whatwg.org/specs/web-apps/current-work/#attr-translate, but
that caused us to break orange.fr on mobile:

https://bugs.webkit.org/show_bug.cgi?id=82246

The problem is that
http://www.winktoolkit.org/documentation/symbols/HTMLElement.html#translate
has a the following code:

if (wink.isUndefined(HTMLElement.prototype.translate))
    HTMLElement.prototype.translate = HTMLElement.prototype.winkTranslate;

The web site expects HTMLElement.prototype.translate to be Wink's
translate function rather than the HTML translate attribute.

Would it make sense to change the name of the translate attribute to
avoid this conflict?  Should we try to evangalize the Wink Toolkit to
change their code and everyone who uses Wink to update to the fixed
version?

Adam