[gnome-shell] shell-global: remove unused shell_global_maybe_gc()

[Cosimo Cecchi <cosimoc src gnome org>]

commit e82fe14f0098d6cfdd71a6a2c7d15dd15083b882
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Thu Jul 12 19:54:41 2012 -0400

    shell-global: remove unused shell_global_maybe_gc()
    
    It's not used anywhere, and we're removing the manual garbage collection
    invocations anyway.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=679832

 src/shell-global.c |   14 --------------
 src/shell-global.h |    1 -
 2 files changed, 0 insertions(+), 15 deletions(-)
---
diff --git a/src/shell-global.c b/src/shell-global.c
index 10fb0b3..f467e34 100644
--- a/src/shell-global.c
+++ b/src/shell-global.c
@@ -1206,20 +1206,6 @@ shell_global_gc (ShellGlobal *global)
   JS_GC (context);
 }
 
-/**
- * shell_global_maybe_gc:
- * @global: A #ShellGlobal
- *
- * Start a garbage collection process when it would free up enough memory
- * to be worth the amount of time it would take
- * https://developer.mozilla.org/en/SpiderMonkey/JSAPI_Reference/JS_MaybeGC
- */
-void
-shell_global_maybe_gc (ShellGlobal *global)
-{
-  gjs_context_maybe_gc (global->js_context);
-}
-
 static void
 shell_global_on_gc (GjsContext   *context,
                     ShellGlobal  *global)
diff --git a/src/shell-global.h b/src/shell-global.h
index 4d92995..1c25c04 100644
--- a/src/shell-global.h
+++ b/src/shell-global.h
@@ -87,7 +87,6 @@ void    shell_global_get_pointer             (ShellGlobal         *global,
 
 /* JavaScript utilities */
 void     shell_global_gc                   (ShellGlobal *global);
-void     shell_global_maybe_gc             (ShellGlobal *global);
 
 typedef struct {
   guint glibc_uordblks;