From 9f575ebc841b7114eae9493013e29ae88d68cd52 Mon Sep 17 00:00:00 2001
From: Richard Hansen <rhansen@rhansen.org>
Date: Fri, 13 Nov 2020 14:24:40 -0500
Subject: [PATCH] plugins: Delete unused `ensure` function

---
 src/static/js/pluginfw/plugins.js | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/src/static/js/pluginfw/plugins.js b/src/static/js/pluginfw/plugins.js
index 8f2c60145..954e1fa99 100644
--- a/src/static/js/pluginfw/plugins.js
+++ b/src/static/js/pluginfw/plugins.js
@@ -13,14 +13,6 @@ var defs = require('./plugin_defs');
 
 exports.prefix = 'ep_';
 
-// @TODO RPB this appears to be unused
-exports.ensure = function (cb) {
-  if (!defs.loaded)
-    exports.update(cb);
-  else
-    cb();
-};
-
 exports.formatPlugins = function () {
   return _.keys(defs.plugins).join(", ");
 };