mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-23 22:13:34 +00:00
5c798b0eea
MediaWiki needs this even without VisualEditor so let's move it there. Bug: T371702 Depends-On: I4dcfa3916a07e92565b5667adb2ead0115fdb438 Change-Id: I0562ea1e5bd28eabd3ef0bcd8372155da67bcd0c |
||
---|---|---|
.. | ||
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.MWVESwitchPopupWidget.js | ||
ve.init.MWWelcomeDialog.js | ||
ve.utils.parsoid.js |