mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 10:35:48 +00:00
a68cc38b22
mw.Uri requires undefined rather than null to unset a parameter; null instead generates a parameter with no value (and no equals sign). Our own code in ve.init.mw.DesktopArticleTarget.init.js parseSection() can't parse that and causes an exception. Change-Id: I783ea6b91c115b79bbd9deac6669bea0661139af |
||
---|---|---|
.. | ||
ve.init.mw.DesktopArticleTarget.init.js | ||
ve.init.mw.DesktopArticleTarget.js | ||
ve.init.mw.MobileArticleTarget.js |