Mar 22 2021
Jan 15 2021
On the English Wikipedia, the article description is local and should start with a capital
I know that this is closed, but FYI.
On the English Wikipedia, the article description is local and should start with a capital.
Jan 5 2021
I understand what you mean, but ...
The change wanted here is not to turn off the polling when Live Updates is turned off, but to have a further option to fully turn off polling.
I would also distinguish between polling and pulling. The GET request is just asking for a "did something change?" status and does not pull any data.
The response for no change is a 204 with no payload. The response after a change is a 200 - also with no payload.
Jan 3 2021
I think that the original title was more correct.
The request should probably be instead to change the 2-way Live Updates button to a 3-way option:
- do not poll — but allow a manual refresh of the history display without a full page reload
- poll and stop — as current non-live
- full live update — as current Live
Jan 1 2021
Also now a problem on en.wikipedia.org. ext.categoryTree is not being loaded
Oct 27 2020
Oct 19 2020
FWIW -- a quick heads-up at https://en.wikipedia.org/wiki/Wikipedia:Village_pump_(technical) is often a good idea.