Last modified: 2013-01-18 04:16:06 UTC
Broken out of bug 31483: the animated GIF spinner doesn't spin on all devices. Upstream issue: http://code.google.com/p/android/issues/detail?id=3422 Some devices have animated GIFs enabled (such as Nexus 1, Nexus S), but not all. A more compatible spinner may need to use an interval & swapping frames through a CSS sprite or something.
Hopefully we can use a CSS Animation instead.
Maybe one to re-assign to Jon?
Fixed in 346aabd1eae05db785a596230251b945e6a233d9. Thanks to Shravan for the patch :)
This caused https://bugzilla.wikimedia.org/show_bug.cgi?id=35231, so reverting for now.
Not worth the trouble to fix for now; shouldn't be an issue on future native app.