mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 18:39:52 +00:00
d3d3e1cf75
This separates the two steps: 1. See if items in the list of `origPages` miss their `.index` property, and add it if possible. 2. Later code doesn't need to care about redirects any more. Note that `origPages` is not used for anything else. And even if, it's not wrong to have the index for each search result on both the redirect and the redirect target. Change-Id: I12135f0430c944b4e33c49ece7779d7c3bb6c211 |
||
---|---|---|
.. | ||
ce | ||
dm | ||
init | ||
preinit | ||
tests | ||
themes | ||
ui |