[gnome-shell-extensions] places-menu: Mark PlacesManager as exported

[Marge Bot <marge-bot src gnome org>]

commit 4b7055d0dade62aedee50ce5926175ae0f83ad27
Author: Florian Müllner <fmuellner gnome org>
Date:   Sat Aug 20 18:59:26 2022 +0200

    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 788f6bf..37ca166 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;