mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-26 07:15:32 +00:00
18f8697703
The bug this works around seems to be fixed. Change-Id: I62837ad795ee6bd35663b163f6de76572e1a6594 |
||
---|---|---|
.. | ||
annotations | ||
metaitems | ||
models | ||
nodes | ||
ve.dm.MWWikitextSurface.js | ||
ve.dm.MWWikitextSurfaceFragment.js |