diff --git a/lib/adminlib.php b/lib/adminlib.php
index 18b8288acef..50c84d3416c 100644
--- a/lib/adminlib.php
+++ b/lib/adminlib.php
@@ -5899,7 +5899,6 @@ function print_plugin_tables() {
         'folder',
         'forum',
         'glossary',
-        'hotpot',
         'imscp',
         'label',
         'lesson',