MediaWiki Diskussion:Gadget-Edittools.js

Letzter Kommentar: vor 7 Jahren von FriedhelmW

Sorry for the english.

Would someone be able to replace this script with the version at User:BWolff (WMF)/sandbox.js (diff). There is going to be a change to the CharInsert extension in the future that is incompatible with this version of the script. The proposed change would make this script compatible with both versions. See phab:T129524 / https://gerrit.wikimedia.org/r/#/c/288922/ for details. Thank you. BWolff (WMF) (Diskussion) 15:02, 16. Mai 2016 (CEST)Beantworten

Done. -- FriedhelmW (Diskussion) 15:13, 16. Mai 2016 (CEST)Beantworten

Abschnitt hinzufügen

Abgerufen von „https://de.wikivoyage.org/w/index.php?title=MediaWiki_Diskussion:Gadget-Edittools.js&oldid=1444321“

Zurück zur Seite „Gadget-Edittools.js“.