mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-26 07:15:32 +00:00
9ef039dd4b
If the wiki runs on a host that contains a port number, section edit links would always reload the page, and the "Add section" tab would not work. As it happens, my local testing wiki runs on localhost:3080. It is an unfortunate naming mishap: * mw.Uri#host is equivalent to location.hostname * mw.Uri#getHostPort is equivalent to location.host In this case, we have to compare the port too, otherwise a setup (my setup ;) ) where one starts up another wiki on localhost:3081 to test cross-wiki features would fail. Change-Id: Ib7de4ba3c3a84888f24186af03bd9dcced131051 |
||
---|---|---|
.. | ||
ve.init.mw.DesktopArticleTarget.init.js | ||
ve.init.mw.DesktopArticleTarget.js | ||
ve.init.mw.MobileArticleTarget.js |