https://api.drupal.org/api/drupal/core%21modules%21workspaces%21src%21Event%21WorkspacePublishEvent.php/function/WorkspacePublishEvent%3A%3AgetPublishedRevisionIds/10
function WorkspacePublishEvent::getPublishedRevisionIds | Drupal API
functiondrupalapi