[07:42:41] <Dreamy_Jazz>	 Is there any reason that reviewer bot would not run and add users to a change?
[07:43:15] <Dreamy_Jazz>	 Take https://gerrit.wikimedia.org/r/c/mediawiki/extensions/CheckUser/+/818517 where reviewer bot has not added reviewers
[07:59:57] <p858snake>	 Dreamy_Jazz: I know in the past it used to occasionally miss some patchsets, although i don't know if thats still a thing
[11:32:07] <Dreamy_Jazz>	 Does anyone know if mediawiki PHP supports detection of Internet Explorer?
[11:35:59] <Dreamy_Jazz>	 Because I want to write in a feature that can only be supported on non-IE browsers
[11:36:20] <Dreamy_Jazz>	 It's not JS and is to do with HTML5.
[11:36:49] <Dreamy_Jazz>	 And there is an alternative that doesn't require it but it would affect the UI
[17:01:47] <mszabo>	 Dreamy_Jazz: browser detection on the server side can be problematic for sites that cache pages (e.g. like WMF projects do for anonymous users)
[20:52:27] <legoktm>	 Dreamy_Jazz: can you provide more specifics? we do have client-side detection with jquery.client
[23:24:15] <ori>	 why does the wikipedia logo look so terrible with timeless? on my laptop it uses https://en.wikipedia.org/static/images/mobile/copyright/wikipedia.png, which is 100px x 100px, and stretches it to 135x135
[23:25:47] <p858snake>	 ori: ashley loves the discussion around skins and people keep changing the logo setup
[23:32:10] * Reedy coughs
[23:44:53] <ori>	 I like the skin a lot, btw
[23:45:03] <ori>	 which is why I'm annoyed by the logo rendering :)
[23:54:15] <legoktm>	 ori: https://phabricator.wikimedia.org/T279645