Last modified: 2014-02-12 23:53:16 UTC
Old versions of our ios app get served a slightly different page without a search box (see https://gerrit.wikimedia.org/r/gitweb?p=mediawiki/extensions/MobileFrontend.git;a=blob;f=skins/SkinMobile.php;h=4006e167eaad1afad870699328082d42bf023e9c;hb=master#l85). This appears to be cached so mobile safari users do not get the search bar. We should remove the code for this and/or look closer at our caching. This was discovered via bug 37261
According to Patrick this is due to a vary header not being sent. Fix on way.
Fixed in https://gerrit.wikimedia.org/r/gitweb?p=mediawiki/extensions/MobileFrontend.git;a=commit;h=b1bbb7519c52e4b5cbdcd8589041b24c056875d0 and deployed