/**
  * Delete the approval record in the database if the page itself is
  * deleted.
  */
 static function deleteRevisionApproval(&$article, &$user, $reason, $id)
 {
     ApprovedRevs::deleteRevisionApproval($article->getTitle());
     return true;
 }