export const PLATFORM_MODULES_CHANGED_EVENT = "govoplan:platform-modules-changed";

export function dispatchPlatformModulesChanged() {
  window.dispatchEvent(new CustomEvent(PLATFORM_MODULES_CHANGED_EVENT));
}