Change Details

**Reason**: Concerns about its nowadays usefulness have been raised at https://gerrit.wikimedia.org/r/#/c/381053/. If the extension is no longer working or has become obsolete, we should consider archiving it IMHO. Shall we? **To-Do list (in order):** - [ ] Archive documentation on `mediawiki.org` - https://www.mediawiki.org/wiki/Extension:AntiBot - [ ] Remove from `mediawiki/extensions` (along with in `.gitmodules`) - [ ] Remove tests in `integration/config` (`zuul/layout.yaml`) - [ ] Remove from `translatewiki` (`groups/MediaWiki/mediawiki-extensions.txt`) - [ ] Empty repository and add a OBSOLETE file. - [ ] Inactivate {rEANB}. - [ ] Mark the AntiBot repository as read-only. - [ ] Delete the GitHub mirror (needs a wikimedia GitHub owner).

**Reason**: Concerns about its nowadays usefulness have been raised at https://gerrit.wikimedia.org/r/#/c/381053/. If the extension is no longer working or has become obsolete, we should consider archiving it IMHO. Shall we? **To-Do list (in order):** - [ ] Archive documentation on `mediawiki.org` - https://www.mediawiki.org/wiki/Extension:AntiBot - [ ] Remove from `mediawiki/extensions` (along with in `.gitmodules`) - [ ] Remove tests in `integration/config` (`zuul/layout.yaml`) - [ ] Remove from `translatewiki` (`groups/MediaWiki/mediawiki-extensions.txt`) - [ ] Empty repository and add an `ARCHIVED` file. - [ ] Inactivate {rEANB}. - [ ] Mark the AntiBot repository as read-only. - [ ] Delete the GitHub mirror (needs a wikimedia GitHub owner).

**Reason**: Concerns about its nowadays usefulness have been raised at https://gerrit.wikimedia.org/r/#/c/381053/. If the extension is no longer working or has become obsolete, we should consider archiving it IMHO. Shall we? **To-Do list (in order):** - [ ] Archive documentation on `mediawiki.org` - https://www.mediawiki.org/wiki/Extension:AntiBot - [ ] Remove from `mediawiki/extensions` (along with in `.gitmodules`) - [ ] Remove tests in `integration/config` (`zuul/layout.yaml`) - [ ] Remove from `translatewiki` (`groups/MediaWiki/mediawiki-extensions.txt`) - [ ] Empty repository and add a OBSOLETEan `ARCHIVED` file. - [ ] Inactivate {rEANB}. - [ ] Mark the AntiBot repository as read-only. - [ ] Delete the GitHub mirror (needs a wikimedia GitHub owner).