Dec 11 2018
Okay thanks! Now I'm able to reproduce it.
Dec 10 2018
I can't reproduce the problem, because MediaWiki assigns a diff number to every small change (protection for example).
The reason for the change is noted in the summary and its saved as a minor edit without any content changes.
And the API action should be feedwatchlist or?
Dec 8 2018
This problem is related to job queues. It depends how fast they can process the update.
That's the reason why I've increased the delay to the refresh to 7,5s.
Dec 7 2018
I've created a solution which reloads the category list after a addition from the server.
Dec 3 2018
Dec 2 2018
Nov 24 2018
Nov 19 2018
I did a little bit of code digging:
Nov 17 2018
With the patch it'll look like this:
Nov 16 2018
When this error during a upgrade happens, it looks like this after the patch:
Nov 14 2018
Thanks for reviewing this so fast. It's really exciting to get code into production although it's just a small change. ^^
Nov 4 2018
Isn't this task completed with https://phabricator.wikimedia.org/T99982?
Jun 15 2018
Jan 27 2018
Jan 14 2018
Jan 11 2018
Jan 9 2018
Jan 7 2018
@Aklapper I wanted to do this as a task for the Google Code-in, so I looked at the list of non converted extensions, found this extension and created this task.
Next I visited the extension page and it seemed working (because the page is full of usage instructions), so I cloned it from Gerrit, but when I wanted to convert the extension there was no code. I also checked the other branches, but I couldn't find anything.
Jan 6 2018
Okay there seems to be no code for this extension, so we can't upgrade it to the new registration system.
Dec 29 2017
Dec 24 2016
I marked my stuff as done or in progress