diff --git a/html/inc/server_version.inc b/html/inc/server_version.inc
index 98e56f9f53..4f626e6028 100644
--- a/html/inc/server_version.inc
+++ b/html/inc/server_version.inc
@@ -7,7 +7,7 @@
 // and are assumed to have a branch on github.
 // dev versions (e.g. master) have an odd minor #
 
-$server_version = array(1, 1, 0);
+$server_version = array(1, 3, 0);
 
 $server_version_str = sprintf("%d.%d.%d",
     $server_version[0], $server_version[1], $server_version[2]