wikimedia/WikipediaMobile — pull request #70 by yuvipanda (2011-12-17 09:28:10+00:00)
Title: Disable 'save page' if page is already saved. Fix for Bug #33008

https://bugzilla.wikimedia.org/show_bug.cgi?id=33008