mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 06:46:26 +00:00
0547d8c8ec
Hack to try to kill a class of bugs caused by misbehaving browser plugins. Unable to test whether this fixes them or not. Bug: 68900 Bug: 51423 Bug: 51521 Bug: 52791 Bug: 52884 Bug: 53252 Bug: 61776 Bug: 63121 Bug: 63229 Change-Id: I8af9f7ba4be45b42f6e2e382ff1a3e1f452058ba |
||
---|---|---|
.. | ||
styles | ||
targets | ||
ve.init.mw.js | ||
ve.init.mw.LinkCache.js | ||
ve.init.mw.Platform.js | ||
ve.init.mw.Target.js | ||
ve.init.mw.TargetEvents.js |