From e3a3dbd4fb60c6e0db571ff8207c596b5dcc00a8 Mon Sep 17 00:00:00 2001 From: Karol Lewandowski Date: Thu, 26 Oct 2023 13:54:47 +0200 Subject: [PATCH] documentation_provider.md: Make extension classes non-public and final --- .../tutorials/custom_language_support/documentation_provider.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/topics/tutorials/custom_language_support/documentation_provider.md b/topics/tutorials/custom_language_support/documentation_provider.md index 649957857..f5adb3c12 100644 --- a/topics/tutorials/custom_language_support/documentation_provider.md +++ b/topics/tutorials/custom_language_support/documentation_provider.md @@ -34,7 +34,7 @@ In the first step, we create an empty class that extends and register it in the [plugin.xml](plugin_configuration_file.md). ```java -public class SimpleDocumentationProvider extends AbstractDocumentationProvider { } +final class SimpleDocumentationProvider extends AbstractDocumentationProvider { } ``` Make sure the class is registered in the plugin.xml between the `extensions` tags, as shown below: