Last modified: 2014-06-05 02:32:32 UTC
If I type something into the search in the History view, it only matches articles that *start* with my search text. So, for example, if I was reading the article on [[The Eels]] and then later I put "eels" into History search, it says no results found. Since this is a local, offline search, it should do a more thorough job of grepping for the search string at any position in the titles.
Change 136312 had a related patch set uploaded by Yuvipanda: Make history search case insensitive & fully matching https://gerrit.wikimedia.org/r/136312
Change 136312 merged by Dbrant: Make history search case insensitive & fully matching https://gerrit.wikimedia.org/r/136312