mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 08:34:54 +00:00
167a2f341e
Bug: 56532 Change-Id: Ibb5a92d66a7a60ef516d3ef385b4473919a6ac63 |
||
---|---|---|
.. | ||
ve.init.mw.MobileViewTarget.js | ||
ve.init.mw.ViewPageTarget.init.js | ||
ve.init.mw.ViewPageTarget.js |