diff --git a/core/modules/workspaces/src/WorkspaceManagerInterface.php b/core/modules/workspaces/src/WorkspaceManagerInterface.php
index 24d81460a5cf5438cc140a47e277944efa379114..de3bfc4cd714e87ddc050a16a6312deab182dc34 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();
+
 }