mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-14 18:15:19 +00:00
5a792b6558
Sometimes we call this API and then reload the page (or navigate to another URL), without using the page content it returns. Save some work and some data transfer and don't generate it in those cases. Change-Id: Ic5fac61f3ef9b2dfce6ff757f1d414a9f41f217d |
||
---|---|---|
.. | ||
ce | ||
dm | ||
init | ||
preinit | ||
tests | ||
themes | ||
ui | ||
ve.track.js |