[gnome-shell] extension-prefs: Kill warning

[Jasper St. Pierre <jstpierre src gnome org>]

commit c7bc9f8925173ba84b1ad11a7d2a98683dac2c7e
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Tue Apr 15 17:54:30 2014 -0400

    extension-prefs: Kill warning
    
    We need to include shell-js.h

 src/gnome-shell-extension-prefs.c |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/src/gnome-shell-extension-prefs.c b/src/gnome-shell-extension-prefs.c
index e97df5d..1788320 100644
--- a/src/gnome-shell-extension-prefs.c
+++ b/src/gnome-shell-extension-prefs.c
@@ -6,6 +6,8 @@
 #include <gjs/gjs.h>
 #include <glib/gi18n.h>
 
+#include "shell-js.h"
+
 int
 main (int argc, char *argv[])
 {