Edward Betts
|
c3c250134d
|
Pull in some code from one-at-a-time branch
|
2023-09-29 20:15:02 +01:00 |
|
Edward Betts
|
1a479dacbc
|
Add types and docstrings.
|
2023-09-29 17:52:06 +01:00 |
|
Edward Betts
|
e85cefbc2f
|
Make mediawiki API calls via OAuth
The API had a timeout problem. Maybe this fixes it.
|
2022-08-17 20:04:43 +01:00 |
|
Edward Betts
|
b1f402e1f9
|
refactor
|
2022-08-17 14:48:20 +01:00 |
|
Edward Betts
|
5f8900a47a
|
Add User-Agent to mediawiki API calls
|
2022-08-17 14:38:30 +01:00 |
|
Edward Betts
|
78de5cc139
|
Split code into another file
|
2022-08-17 13:35:26 +01:00 |
|
Edward Betts
|
a86f91b778
|
More code for talking to Wikipedia via OAuth.
|
2022-08-15 21:10:14 +01:00 |
|