From 4bbc58dd242bc81e9e0095e2c065929b2a585ada Mon Sep 17 00:00:00 2001
From: Jeremy Ruston <jeremy@jermolene.com>
Date: Mon, 13 Apr 2020 11:45:06 +0100
Subject: [PATCH] Plugin Chooser: Ensure official plugin library is shown first

---
 core/wiki/tags/PluginLibrary.tid | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 core/wiki/tags/PluginLibrary.tid

diff --git a/core/wiki/tags/PluginLibrary.tid b/core/wiki/tags/PluginLibrary.tid
new file mode 100644
index 000000000..4c534d035
--- /dev/null
+++ b/core/wiki/tags/PluginLibrary.tid
@@ -0,0 +1,2 @@
+title: $:/tags/PluginLibrary
+list: $:/config/OfficialPluginLibrary
\ No newline at end of file