Change Details

Per discussion in https://phabricator.wikimedia.org/T231590#5564599 we're going to make the types of edit counts identical to the filters on history. So, we need to have `reverted` be a synonym for `revertededits`, and we need to deprecate the `revertededits` version. [ ] perform coding change [x] update docs at https://www.mediawiki.org/wiki/API:REST/History_API#Get_page_history_counts

Per discussion in https://phabricator.wikimedia.org/T231590#5564599 we're going to make the types of edit counts identical to the filters on history. So, we need to have `reverted` be a synonym for `revertededits`, and we need to deprecate the `revertededits` version. [x] perform coding change [x] update docs at https://www.mediawiki.org/wiki/API:REST/History_API#Get_page_history_counts

Per discussion in https://phabricator.wikimedia.org/T231590#5564599 we're going to make the types of edit counts identical to the filters on history. So, we need to have `reverted` be a synonym for `revertededits`, and we need to deprecate the `revertededits` version. [ x] perform coding change [x] update docs at https://www.mediawiki.org/wiki/API:REST/History_API#Get_page_history_counts