diff --git a/chrome/content/zotero/xpcom/preferencePanes.js b/chrome/content/zotero/xpcom/preferencePanes.js index e7c5eaa814..a6127e8daa 100644 --- a/chrome/content/zotero/xpcom/preferencePanes.js +++ b/chrome/content/zotero/xpcom/preferencePanes.js @@ -162,7 +162,7 @@ Zotero.PreferencePanes = { } Zotero.Plugins.addObserver({ - shutdown({ id: pluginID }) { + shutdown: ({ id: pluginID }) => { let beforeLength = this.pluginPanes.length; this.pluginPanes = this.pluginPanes.filter(pane => pane.pluginID !== pluginID); if (this.pluginPanes.length !== beforeLength) {