mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 23:05:35 +00:00
a0065cbe0b
Sometimes a save is not a save, but a switch to the wikitext editor; in this case, the save dialog doesn't exist, so don't assume that it does. Bug: 57947 Change-Id: Ic2df7d2066ba03564ed531e1d31351cd27441abe |
||
---|---|---|
.. | ||
ve.init.mw.MobileViewTarget.js | ||
ve.init.mw.ViewPageTarget.init.js | ||
ve.init.mw.ViewPageTarget.js |