5def060d8f
Update UA completions
2021-03-12 10:52:30 +01:00
4e887b89df
scripts: Quote resulting UA
2020-10-26 17:13:14 +01:00
11d6cd8054
scripts: Fix docstring
2020-10-26 17:10:55 +01:00
9e0ecef98c
Include version in OS name
2020-10-22 00:20:43 +02:00
e265eeed32
Compare only major & minor and change OS names
2020-10-21 17:39:43 +02:00
5aeb761da8
Add new ua_fetch script
2020-10-16 15:26:17 +02:00
5e64aae70b
Remove ua_fetch.py
...
The blog uses Cloudflare DDoS protection nowadays, and since we removed most
UAs from the completion, doing updates by hand is feasible.
2020-01-08 16:18:04 +01:00
9e4276db9b
Adjust copyrights for 2020
2020-01-04 18:21:17 +01:00
3e816f5f8b
Update copyright for 2019
2019-02-22 21:45:08 -08:00
81889dd7bd
Update user agent completion
...
Fixes #4575
2019-02-21 17:10:15 +01:00
6f028e9ad0
Update copyright years
2018-02-05 12:19:50 +01:00
8de0445661
Move UserAgent to configdata
2017-07-02 22:17:33 +02:00
c814ced7b3
Add Android UA
2017-05-13 15:05:54 +02:00
822623f2ed
Finally update copyrights...
2017-05-09 21:37:03 +02:00
c99d3e7dca
Fix %s output in scripts.dev.ua_fetch
2016-08-16 14:06:37 +02:00
2a343cb3a1
Various code style improvements
2016-04-27 20:25:27 +02:00
a5f2ac5f03
Adjust copyright years.
2016-01-04 07:12:39 +01:00
a9de97968d
Make pylint shut up about ua_fetch.py.
2015-11-30 07:12:18 +01:00
89e3c2a703
Fix lint.
2015-11-18 07:43:10 +01:00
ad5988513b
Fix lint.
2015-11-17 20:28:27 +01:00
ea5484c3a2
Fix nitpicks.
2015-11-17 19:46:24 +01:00
d745819715
Improve script to print entries grouped by browser
...
The ua_fetch.py has been re-written entirely to find specific entries for
each browser based on diversity rather than sole popularity. The output
is now formatted to print the entries for each browser grouped together.
2015-11-14 15:57:24 +01:00
7703fa217b
Add some UAs manually for diversity
...
The automatically fetched list includes popular user-agents but does not
guarantee any kind of diversity, so there are now a few statically
printed UAs from mobile browsers.
2015-10-20 17:28:22 +02:00
Florian Bruhin
Felix Van der Jeugt
Jay Kamat
Florian Bruhin
Matthias Lisin
Lamar Pavel