https://www.mediawiki.org/wiki/API:Edit can take undo parameter
A method could be added to do this
Description
Details
Title | Reference | Author | Source Branch | Dest Branch | |
---|---|---|---|---|---|
mwbot: Add Page::undo() to undo edit | repos/mwbot-rs/mwbot!55 | mirrorkt | undo-fn | main |
Event Timeline
legoktm updated https://gitlab.wikimedia.org/repos/mwbot-rs/mwbot/-/merge_requests/55
mwbot: Add Page::undo() to undo edit
legoktm merged https://gitlab.wikimedia.org/repos/mwbot-rs/mwbot/-/merge_requests/55
mwbot: Add Page::undo() to undo edit
@mirror-kt shared the rationale for this on GitLab:
I am running a bot to help renaming categories in jawp, based on dewp's project. a command to undo changes made by the bot was requested (it's hard to undo manually), but bot.api().post_with_token() doesn't work with SaveLock, so the rate By incorporating this function into mwbot itself, rate limits can be shared with normal page editing.
I've also added you to the mwbot-rs group on GitLab, so you are welcome to push directly to main or make MRs, etc., just review the contribution policy if you haven't yet: https://www.mediawiki.org/wiki/Mwbot-rs#Contributing :)
And I'll try to make a release in the next few days, just want to get CI working first!