mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 10:35:48 +00:00
82657727f9
The location object is a global, just like document. Using it via 'window' needlessly adds complexity and, for example, makes it harder to catch typos in static analysis. Standardise on location.href in place of the many different variants for accessing and assinging the full url: location = location.href = location.assign() = And each with 'window', 'document' and without host object. Change-Id: If88515bd88fc5b93ebacd4ec41fce02fec540f18 |
||
---|---|---|
.. | ||
styles | ||
targets | ||
ve.init.mw.js | ||
ve.init.mw.LinkCache.js | ||
ve.init.mw.Platform.js | ||
ve.init.mw.Target.js | ||
ve.init.mw.TargetEvents.js |