Internet Explorer usage reports?

Dear webmasters and system administrators, Back on January 12, 2016 Microsoft quit providing security updates for IE 8, 9 and 10. Since then their usage has been declining. According to some websites IE 8 still has about a 5% global marketshare with IE 9 and 10 having about a 3% each. This means that dropping support for them on PHP.net would theoretically inconvenience about 11% of our visitors. Which is why I am writing this email: do our mirrors track user-agent strings? I'd like to get a better idea about our browser usage since February instead of relying on various third-party sites.. If this data is tracked is there a way to get the aggregate data? I tried visiting /stats/ on various mirrors and didn't seem to find any that have set up stats, so maybe this is a dead-end. Thanks, Levi Morrison