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(