mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-12 14:35:28 +00:00
f3dfd98e55
Follow-up to
|
||
---|---|---|
.. | ||
styles | ||
.eslintrc.json | ||
ve.init.mw.ArticleTargetLoader.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 |