HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/WikiEditor…

Authored by TheDJ.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/WikiEditor 1b02e982960b81371e4a690f22f823c7aab5dc2b

Toolbar: Remove Opera redraw hack

The versions of Opera that this was targeting aren't really supported
anymore anyways. So let's just remove this hack.

Bug: T106574
Change-Id: I1b11fc8ec30f3c33b681daff7f676fa965fb78cb

Event Timeline