diff core/modules/workspaces/src/WorkspacePublisherInterface.php @ 17:129ea1e6d783

Update, including to Drupal core 8.6.10

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/core/modules/workspaces/src/WorkspacePublisherInterface.php	Thu Feb 28 13:21:36 2019 +0000
@@ -0,0 +1,17 @@
+<?php
+
+namespace Drupal\workspaces;
+
+/**
+ * Defines an interface for the workspace publisher.
+ *
+ * @internal
+ */
+interface WorkspacePublisherInterface extends WorkspaceOperationInterface {
+
+  /**
+   * Publishes the contents of a workspace to the default (Live) workspace.
+   */
+  public function publish();
+
+}