From a8d43caa6a5f0c356964dedd3bbd899673bac975 Mon Sep 17 00:00:00 2001
From: Alex Pott <alex.a.pott@googlemail.com>
Date: Tue, 14 Jan 2020 10:13:58 +0000
Subject: [PATCH] Issue #3098707 by blazey: Add purgeDeletedWorkspacesBatch to
 the WorkspaceManagerInterface

---
 core/modules/workspaces/src/WorkspaceManagerInterface.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/core/modules/workspaces/src/WorkspaceManagerInterface.php b/core/modules/workspaces/src/WorkspaceManagerInterface.php
index 24d81460a5cf..de3bfc4cd714 100644
--- a/core/modules/workspaces/src/WorkspaceManagerInterface.php
+++ b/core/modules/workspaces/src/WorkspaceManagerInterface.php
@@ -100,4 +100,9 @@ public function executeOutsideWorkspace(callable $function);
    */
   public function shouldAlterOperations(EntityTypeInterface $entity_type);
 
+  /**
+   * Deletes the revisions associated with deleted workspaces.
+   */
+  public function purgeDeletedWorkspacesBatch();
+
 }
-- 
GitLab