mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-16 02:51:50 +00:00
85b807ed5d
This makes it possible to get identical rendering in the editor, but may make other things more complex. The Wikitext serializer is no longer compatible for rendering lists so it's been stubbed out. Also the way the toolbar works with lists is broken, so that's been disabled. The HTML serializer has been fixed to work correctly and no-longer-used styles have been removed. Change-Id: If156f55068b1f6d229b3fa789164f28b2e3dfc76 |
||
---|---|---|
.. | ||
ve.ui.AnnotationButtonTool.js | ||
ve.ui.ButtonTool.js | ||
ve.ui.ClearButtonTool.js | ||
ve.ui.DropdownTool.js | ||
ve.ui.FormatDropdownTool.js | ||
ve.ui.HistoryButtonTool.js | ||
ve.ui.IndentationButtonTool.js | ||
ve.ui.ListButtonTool.js |