Last modified: 2014-02-12 23:53:39 UTC
From http://en.wikipedia.org/wiki/Wikipedia:Mobile_Extension_Feedback: im using opera mini 4. I tried to search a lot of times. Instead, it "refreshes" the page. 141.0.8.23 (talk) 06:56, 1 May 2012 (UTC) User agent: Opera/9.80 (J2ME/MIDP; Opera Mini/4.4.29478/27.1573; U; en) Presto/2.8.119 Version/11.10 I'm not sure how to get hold of a copy of Opera Mini 4 to test this since it is so old. I suspect the best thing to do would be to just not give javascript search to this device.
Just kill js support for it and lets move on.
addressed in https://gerrit.wikimedia.org/r/6447