Updated mediawiki/extensions
Project: mediawiki/extensions/WikiEditor  d87e6e94d41f48c10624c3208a5de90079c111fc

WikiEditor: Remove old unmaintained ToC module

Change-Id: I0f53a68e50fc950d7f407ee81b2bf0d81ef4948d
Updated mediawiki/extensions
Project: mediawiki/extensions/WikiEditor  5bf1dfefb457c5ceea3b6946ee04ee3708cb4c2d

WikiEditor: Remove unmaintained template editor modules

Change-Id: I47119d6cfdde4b40ff5b07be0c7d327b80598142
Updated mediawiki/extensions
Project: mediawiki/extensions/WikiEditor  e3668e18aa2bb642cdabbb1e1ed22e72a0b01547

WikiEditor: Remove unmaintained highlight plugin

Change-Id: I9740a1197209f177217b034e8b94a90b3905a560
Updated mediawiki/extensions
Project: mediawiki/extensions/WikiEditor  1c948137422c591f7f1aa3b418cc4a2865802736

WikiEditor: Remove unmaintained beta iframe mode

Change-Id: I2d7369116b92d674d791e420750a906a17a46bac