I've added Dmitry and Bernd to this thread. Guys, you probably want to get on this list if you're not already on it.
Here's the iOS part for refreshing (patches
1,
2,
3,
4). Suppose I have "Derek Charke" and "Darya Khan railway station" in my Saved pages list. Then when I tap the refresh button, the following requests are made automatically, with a User-Agent header of the following form:
User-Agent: WikipediaApp/4.0.7 (iPhone OS 8.2; Phone)
Requests...these use the ArticleFetcher class, which is the same class used for fetching articles even outside of a Saved pages refresh (i.e., garden variety article browsing).
Derek Charke
https://en.m.wikipedia.org/w/api.php?action=mobileview&appInstallID=<somevalue>&format=json&noheadings=true&page=Derek%20Charke&prop=sections%7Ctext%7Clastmodified%7Clastmodifiedby%7Clanguagecount%7Cid%7Cprotection%7Ceditable%7Cdisplaytitle%7Cthumb%7Cdescription%7Cimage§ionprop=toclevel%7Cline%7Canchor%7Clevel%7Cnumber%7Cfromtitle%7Cindex§ions=all&thumbwidth=640
Darya Khan railway station
https://en.m.wikipedia.org/w/api.php?action=mobileview&appInstallID=<somevalue>&format=json&noheadings=true&page=Darya%20Khan%20railway%20station&prop=sections%7Ctext%7Clastmodified%7Clastmodifiedby%7Clanguagecount%7Cid%7Cprotection%7Ceditable%7Cdisplaytitle%7Cthumb%7Cdescription%7Cimage§ionprop=toclevel%7Cline%7Canchor%7Clevel%7Cnumber%7Cfromtitle%7Cindex§ions=all&thumbwidth=640