From c7bc9f8925173ba84b1ad11a7d2a98683dac2c7e Mon Sep 17 00:00:00 2001
From: "Jasper St. Pierre" <jstpierre@mecheye.net>
Date: Tue, 15 Apr 2014 17:54:30 -0400
Subject: [PATCH] extension-prefs: Kill warning

We need to include shell-js.h
---
 src/gnome-shell-extension-prefs.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/gnome-shell-extension-prefs.c b/src/gnome-shell-extension-prefs.c
index e97df5df2..17883207a 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[])
 {