https://bugzilla.wikimedia.org/show_bug.cgi?id=36935
Web browser: ---
Bug #: 36935
Summary: Device detection mismatch between DeviceDetection.php
and wikipedia server
Product: MediaWiki extensions
Version: unspecified
Platform: All
OS/Version: All
Status: NEW
Severity: normal
Priority: Unprioritized
Component: MobileFrontend
AssignedTo: [email protected]
ReportedBy: [email protected]
CC: [email protected], [email protected],
[email protected]
Classification: Unclassified
Mobile Platform: ---
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
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
