[gnome-shell-extensions] Bump version to 3.1.3

[Giovanni Campagna <gcampagna src gnome org>]

commit de173d0e1c0cbbf1948ea842e51d1e8ef2de421f
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Sat Jul 2 14:21:30 2011 +0200

    Bump version to 3.1.3
    
    To go with recently released GNOME Shell 3.1.3
    Fixed gjs version and distcheck at the same time

 configure.ac                                 |    2 +-
 extensions/xrandr-indicator/metadata.json.in |    2 +-
 po/POTFILES.in                               |    1 +
 3 files changed, 3 insertions(+), 2 deletions(-)
---
diff --git a/configure.ac b/configure.ac
index 2133799..ae7a053 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1,5 +1,5 @@
 AC_PREREQ(2.63)
-AC_INIT([gnome-shell-extensions],[3.0.1],[https://bugzilla.gnome.org/enter_bug.cgi?product=gnome-shell&component=extensions])
+AC_INIT([gnome-shell-extensions],[3.1.3],[https://bugzilla.gnome.org/enter_bug.cgi?product=gnome-shell&component=extensions])
 
 AC_CONFIG_MACRO_DIR([m4])
 AC_CONFIG_AUX_DIR([config])
diff --git a/extensions/xrandr-indicator/metadata.json.in b/extensions/xrandr-indicator/metadata.json.in
index 1ad930c..9353aa2 100644
--- a/extensions/xrandr-indicator/metadata.json.in
+++ b/extensions/xrandr-indicator/metadata.json.in
@@ -3,7 +3,7 @@
 "name": "Monitor Status Indicator",
 "description": "Add a systems status menu for rotating monitors (overrides what is currently provided by gnome-settings-daemon)",
 "shell-version": [ "@shell_current@" ],
-"js-version": [ "0.7.15" ],
+"js-version": [ "0.7.15", "1.29.1" ],
 "localedir": "@LOCALEDIR@",
 "url": "@url@"
 }
diff --git a/po/POTFILES.in b/po/POTFILES.in
index 5efb104..74678af 100644
--- a/po/POTFILES.in
+++ b/po/POTFILES.in
@@ -3,6 +3,7 @@ extensions/alternate-tab/extension.js
 extensions/auto-move-windows/extension.js
 extensions/auto-move-windows/org.gnome.shell.extensions.auto-move-windows.gschema.xml.in
 extensions/dock/extension.js
+extensions/dock/org.gnome.shell.extensions.dock.gschema.xml.in
 extensions/example/extension.js
 extensions/gajim/extension.js
 extensions/native-window-placement/org.gnome.shell.extensions.native-window-placement.gschema.xml.in