[gnome-ostree] manifest: Add gnome-shell-extensions

[Colin Walters <walters src gnome org>]

commit 860b0e8e36840cdb51b0e84caa6119d2a499a05f
Author: Colin Walters <walters verbum org>
Date:   Wed Dec 19 07:31:13 2012 -0500

    manifest: Add gnome-shell-extensions
    
    This syncs us up with the jhbuild moduleset.

 manifest.json |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/manifest.json b/manifest.json
index e067cd1..892a2d0 100644
--- a/manifest.json
+++ b/manifest.json
@@ -838,6 +838,9 @@
 		                 "--without-folks",
                                  "--disable-man"]},
 
+		{"src": "gnome:gnome-shell-extensions",
+		 "config-opts": ["--enable-extensions=classic-mode"]},
+
 		{"src": "gnome:libgtop"},
 
 		{"src": "gnome:clutter-gst",