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