mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 18:39:52 +00:00
50497ee7f3
The main advantage of this change is that it drops the assumption that the index starts with 1. This is not necessarily the case when we prepend extra search results. Dropping this assumption here allows to simplify such code. * The incoming list of pages is guaranteed to be an array. * There is no point (any more) that could cause the array to become sparse. * Note we still make a copy of the `origPages` array at some point, e.g. on `.filter()`. Bug: T303524 Change-Id: Ifbd92bb052155c613d2ca21ab6d54a0b3ef28c0c |
||
---|---|---|
.. | ||
ce | ||
dm | ||
init | ||
preinit | ||
tests | ||
themes | ||
ui |