mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-12 14:35:28 +00:00
c2900af71e
The configuration option has been removed in Ib35c6bfa5493f7dc81b63c42e7fedb8f1e47226b. Change-Id: I1392cab0f6916c47cade833c10036adec2c9d4dd |
||
---|---|---|
.. | ||
styles | ||
.eslintrc.json | ||
ve.init.mw.ArticleTargetLoader.js | ||
ve.init.mw.ArticleTargetSaver.js | ||
ve.init.mw.DesktopArticleTarget.init.js | ||
ve.init.mw.DiffLoader.js | ||
ve.init.mw.DiffPage.init.js | ||
ve.init.mw.ProgressBarWidget.js | ||
ve.init.mw.TempWikitextEditorWidget.js | ||
ve.init.MWEditingTabDialog.js | ||
ve.init.MWEditModeTool.js | ||
ve.init.MWVESwitchConfirmDialog.js | ||
ve.init.MWVESwitchPopupWidget.js | ||
ve.init.MWWelcomeDialog.js | ||
ve.utils.parsoid.js |