Jay Kamat
3e816f5f8b
Update copyright for 2019
2019-02-22 21:45:08 -08:00
Florian Bruhin
81889dd7bd
Update user agent completion
...
Fixes #4575
2019-02-21 17:10:15 +01:00
Florian Bruhin
6f028e9ad0
Update copyright years
2018-02-05 12:19:50 +01:00
Florian Bruhin
8de0445661
Move UserAgent to configdata
2017-07-02 22:17:33 +02:00
Matthias Lisin
c814ced7b3
Add Android UA
2017-05-13 15:05:54 +02:00
Florian Bruhin
822623f2ed
Finally update copyrights...
2017-05-09 21:37:03 +02:00
Florian Bruhin
c99d3e7dca
Fix %s output in scripts.dev.ua_fetch
2016-08-16 14:06:37 +02:00
Florian Bruhin
2a343cb3a1
Various code style improvements
2016-04-27 20:25:27 +02:00
Florian Bruhin
a5f2ac5f03
Adjust copyright years.
2016-01-04 07:12:39 +01:00
Florian Bruhin
a9de97968d
Make pylint shut up about ua_fetch.py.
2015-11-30 07:12:18 +01:00
Florian Bruhin
89e3c2a703
Fix lint.
2015-11-18 07:43:10 +01:00
Florian Bruhin
ad5988513b
Fix lint.
2015-11-17 20:28:27 +01:00
Florian Bruhin
ea5484c3a2
Fix nitpicks.
2015-11-17 19:46:24 +01:00
Lamar Pavel
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
Lamar Pavel
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
