Deprecate `botedits` in favor of `bot`
Closed, ResolvedPublic
Actions

Assigned To

Authored By

	• eprodromou
	Oct 23 2019, 8:41 PM

Description

Per https://phabricator.wikimedia.org/T231590#5564599 we want to have count types be consistent with the filter types on history.

So, we need to make bot be a synonym for botedits and then deprecate botedits.

	Subject	Repo	Branch	Lines +/-
	Rename REST history count types	mediawiki/tools/api-testing	master	+6 -6
	Rename/deprecate some REST history count types	mediawiki/core	master	+32 -9

Status	Assigned	Task
Invalid	None	T229661 Core REST API in MediaWiki
Resolved	• eprodromou	T231338 Page history API
Resolved	• eprodromou	T231354 Curator gets bot edit count
Resolved	BPirkle	T236325 Deprecate `botedits` in favor of `bot`

Change 546197 had a related patch set uploaded (by BPirkle; owner: BPirkle):
[mediawiki/core@master] Rename/deprecate some REST history count types

BPirkle added a subscriber: • Pchelolo.

Note: integration tests should be updated as well.

Change 546197 merged by jenkins-bot:
[mediawiki/core@master] Rename/deprecate some REST history count types

Change 547340 had a related patch set uploaded (by Clarakosi; owner: Clarakosi):
[mediawiki/tools/api-testing@master] Rename REST history count types

Change 547340 merged by jenkins-bot:
[mediawiki/tools/api-testing@master] Rename REST history count types