There are quite a few new features related to reverts shipping in 1.35 and 1.36. It would be useful if we had some coherent documentation on the topic, both for users (Help namespace) and developers (Manual namespace).
Things that need documenting:
* [] **[[https://meta.wikimedia.org/wiki/Help:Reverting|Help:Reverting]]**
** [x] describe the behaviour of the mw-manual-revert tag
** [] describe the behavior of mw-reverted tag
** [] show places where the reverted tag can be used
** [] point to extensions and gadgets adding new revert-related features
* [] **[[https://www.mediawiki.org/wiki/Manual:Reverts|Manual:Reverts]]**
** [x] guide to using EditResult in extensions
** [x] explain how all the tags are applied, including configuration settings
** [x] describe reverted tag integration
** [x] polishing and publication
** [] (later) describe maintenance script for populating the tags on old edits
Maybe some of this should be separated into other pages. Will see.