Index: gnome/platform/gnome-shell-extensions.xml
===================================================================
--- gnome/platform/gnome-shell-extensions.xml (revision 8d223dbbf28a1fd62940a162227495873b1ad248)
+++ gnome/platform/gnome-shell-extensions.xml (revision 0c26fae19bb40316fe0bcf026ab634ffbc8392c7)
@@ -83,5 +83,7 @@
Optional
-
+ and
+ (runtime,
+ for applications menu extension)