mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 18:39:52 +00:00
dde45949a3
Bug: T128635 Change-Id: Iff83e1d71e7186b8da875aa507f9e19e8d9c23ce |
||
---|---|---|
.. | ||
ve.init.mw.DesktopArticleTarget.init.js | ||
ve.init.mw.DesktopArticleTarget.js | ||
ve.init.mw.MobileArticleTarget.js |