Last modified: 2014-02-12 23:52:29 UTC
The rules for device detection on Wikipedia.org are different from the rules in DeviceDetection.php As a result various bugs that are fixed in development (to be marked as duplicate) are not fixed on the server. Discussed with Patrick and this requires some changes to the squid(?) config
*** Bug 36720 has been marked as a duplicate of this bug. ***
*** Bug 36494 has been marked as a duplicate of this bug. ***
Fixed in https://gerrit.wikimedia.org/r/9640 \o/