From 4b7055d0dade62aedee50ce5926175ae0f83ad27 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Sat, 20 Aug 2022 18:59:26 +0200
Subject: [PATCH] places-menu: Mark PlacesManager as exported

For some reason eslint failed to complain about this.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/240>
---
 extensions/places-menu/placeDisplay.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/extensions/places-menu/placeDisplay.js b/extensions/places-menu/placeDisplay.js
index 788f6bf9..37ca1661 100644
--- a/extensions/places-menu/placeDisplay.js
+++ b/extensions/places-menu/placeDisplay.js
@@ -1,4 +1,5 @@
 // -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
+/* exported PlacesManager */
 
 const {Gio, GLib, Shell} = imports.gi;
 const Signals = imports.signals;