Hi everyone:
I've recently made some changes to the <charinsert> extension. This
ensures that the extension provides a better user experiance for
non-js users, and that it works properly in certain edge cases. It
also brings the extension inline with current MW coding standards, to
ensure that it will continue to work well in the future.
However, the downside is, it will break scripts that edit the
innerHTML of a div that contains stuff generated by <charinsert>. Some
of the versions of the script that generates the drop down for
MediaWiki:Edittools to select what types of special characters to
insert, do this.
Anyways, I've fixed the instances I'm aware of. In case I've missed
some, If on June 1 (for non-wikipedia) or June 2 (for Wikipedia's),
suddenly the insert special chars thingy on edit pages on your wiki
stops working, please let me (User:Bawolff) know, and I will fix it.
Thanks,
Bawolff ([[User:Bawolff]] / [[User:BWolff (WMF)]] )
p.s. The relevant bugs are:
https://phabricator.wikimedia.org/T11424
https://phabricator.wikimedia.org/T92781
https://phabricator.wikimedia.org/T88922