mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-01 17:36:35 +00:00
8cc034b9af
I think this fixes a bug similar to the one described in the bug below. Bug: T124708 Change-Id: I61558227315bec36b71dac281b8da311a3d6bb1a |
||
---|---|---|
.. | ||
ve.init.mw.DesktopArticleTarget.init.js | ||
ve.init.mw.DesktopArticleTarget.js | ||
ve.init.mw.MobileArticleTarget.js |