From 258698e6f3a79efe5d435b7f976a3428a77fa666 Mon Sep 17 00:00:00 2001
From: Andrew Nicols <andrew@nicols.co.uk>
Date: Tue, 5 Sep 2023 11:44:07 +0800
Subject: [PATCH] MDL-75268 core: Add tiny_premium to list of standard plugins

---
 lib/classes/plugin_manager.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/classes/plugin_manager.php b/lib/classes/plugin_manager.php
index d1629d9fdfc..f322a217963 100644
--- a/lib/classes/plugin_manager.php
+++ b/lib/classes/plugin_manager.php
@@ -2044,6 +2044,7 @@ class core_plugin_manager {
                 'link',
                 'html',
                 'noautolink',
+                'premium',
             ],
 
             'theme' => array(