https://wiki.wikimedia.it/wiki/MediaWiki:Edittools in wikimedia.it doesn't work after the upgrade and migration on server intreccio.
Description
Description
Event Timeline
Comment Actions
In the console there was this JavaScript error:
Uncaught TypeError: Cannot read property 'insertTags' of undefined
It seems this error is caused by the Eddittools extension that was not upgraded properly. In our case it should be related to MediaWiki 1.35.
Also reported by other users:
https://m.mediawiki.org/wiki/Topic:Usz64i9hzriko19t
I downloaded the Edittools extension again and now it works.