Revision deletion


 * Help:RevisionDelete (user documentation)
 * Manual:RevisionDelete (developer documentation)