[12:13:05] <FlorianSW>	 any iOS developer here? Short question: Is it possible to search in the "Saved pages" area in the iOS app?
[12:13:37] <FlorianSW>	 coreyfloyd, bgerstle_afk mhurd_afk ^^
[12:34:53] <bgerstle_afk>	 FlorianSW: no. We've talked about adding "filter" searches in those lists though
[12:35:44] <FlorianSW>	 bgerstle_afk: is there any task open or is it planned to implement a simple title search (i know, that the Android app has this function)? :)
[12:36:25] <bgerstle_afk>	 Not AFAIK. Feel free to file one
[12:37:01] <FlorianSW>	 bgerstle_afk: ok, thanks for your quick answer :)
[12:39:55] <FlorianSW>	 bgerstle_afk: https://phabricator.wikimedia.org/T107696
[12:40:24] <bgerstle_afk>	 Np thanks for filing