From 23246cb6ece8fed6c7d9c4413da48a8b55e5eacf Mon Sep 17 00:00:00 2001
From: Gert de Pagter <BackEndTea@users.noreply.github.com>
Date: Mon, 20 May 2019 09:13:50 +0200
Subject: [PATCH] Mark generated class as internal

---
 src/Plugin.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Plugin.php b/src/Plugin.php
index 6f5f01a..4bf7388 100644
--- a/src/Plugin.php
+++ b/src/Plugin.php
@@ -20,6 +20,7 @@ final class Plugin implements PluginInterface, EventSubscriberInterface
 
 /**
  * This class is generated by phpstan/extension-installer.
+ * @internal
  */
 final class GeneratedConfig
 {