From 7c6d9ab4cfefca91682fda3457192f2786282417 Mon Sep 17 00:00:00 2001 From: Karol Lewandowski Date: Thu, 21 Aug 2025 12:22:31 +0200 Subject: [PATCH] [devkit] Make RegistrationEntry public as it is exposed via public API GitOrigin-RevId: 546d2498e8f0421a59fe25da17e50671f783c9a9 --- .../devkit/devkit-core/src/dom/index/RegistrationEntry.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/plugins/devkit/devkit-core/src/dom/index/RegistrationEntry.java b/plugins/devkit/devkit-core/src/dom/index/RegistrationEntry.java index 013bf505f218..43e57260b55c 100644 --- a/plugins/devkit/devkit-core/src/dom/index/RegistrationEntry.java +++ b/plugins/devkit/devkit-core/src/dom/index/RegistrationEntry.java @@ -1,4 +1,4 @@ -// Copyright 2000-2022 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license. +// Copyright 2000-2025 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license. package org.jetbrains.idea.devkit.dom.index; import com.intellij.util.xml.DomElement; @@ -6,7 +6,7 @@ import org.jetbrains.idea.devkit.dom.ActionOrGroup; import org.jetbrains.idea.devkit.dom.Component; import org.jetbrains.idea.devkit.dom.Listeners; -class RegistrationEntry { +public class RegistrationEntry { private final RegistrationType myRegistrationType; private final int myOffset;