Thread:Extension talk:WYSIWYG/Editor in wikitext mode displays an unwated infotip

I get an infotip with "Rich Text Editor, wpTextbox1" when working in wikitext mode. This is a title attribute of the textarea. The content of this title attribute is duplcated in an "aria-label" attribute (I don't know that, but it exists!).


 * I found the place where it is probably attributed
 * I found that it calls lang.editor (because if you change the variable editor in the lang file, the infotip changes).
 * I found in mediawiki/plugin.js :
 * I noticed that in WYSIWYG it doesn't appear, but is present in the iframe container.

But I wasn't able to find where there is some kind of  !