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>
2022-08-20 19:03:36 +02:00
parent 563d7770d3
commit 4b7055d0da
1 changed files with 1 additions and 0 deletions
@@ -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;