Description
Reported on OTRS here https://ticket.wikimedia.org/otrs/index.pl?Action=AgentTicketZoom&TicketID=8492547&OTRSAgentInterface=10b4f88584be5d9c0768745d4c96f387f7 with an older release of the app (can be reproduced with latest release).
You can not delete a page in the Wikipedia namespace (probably other namespaces, too) in the history of the app. Deleting other pages seems to work without problems. Deleting the whole history works.
Probably related: T105471: Saved pages unexpectedly doubled anytime I refresh/delete them
Steps to reproduce
- Open a page in the Wikipedia NS (e.g. in the german WP the page i mentioned above)
- Go to the history of the app
- Try to delete the last visited page (not _all_ pages)
Expected results
The page should be deleted
Actual results
The page is still there.
Environments observed
App version: Android App 2.0.105-r-2015-06-30
Android OS versions: Android 5.1.1 (probably others, too)
Device model: Nexus 7 (2013)
Device language: German